Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos. Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]
Abstract is missing.