Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.

Mon, 01 Jan 2018 00:00:00 +0100

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers :
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. ICST Workshops 2018: 214-223