Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson. Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. In Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, pages 195-202, EasyChair, 2021. [doi]
Abstract is missing.