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

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Browse the full ICST paper archive.