Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator

DOI10.1145/3575870.3589550MaRDI QIDQ6202126

Unnamed Author, Unnamed Author, Georgios E. Fainekos, Giulia Pedrielli, Unnamed Author

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

zbMATH Keywords

test generationfalsificationsignal temporal logicCPS security

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

This page was built for publication: Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator