Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers. Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. pages 214-223, IEEE, 2018. [doi]
Abstract is missing.