Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Paper i proceeding, 2021
Författare
Zahra Ramezani
Chalmers, Elektroteknik, System- och reglerteknik, Automation
Alexandre Donzé
Decyphir SAS
Martin Fabian
Chalmers, Elektroteknik, System- och reglerteknik, Automation
Knut Åkesson
Chalmers, Elektroteknik, System- och reglerteknik, Automation
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Vol. 80 195-202
, ,
Ämneskategorier
Reglerteknik
Signalbehandling
Datavetenskap (datalogi)
DOI
10.29007/q4k7