Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati. Falsification using Reachability of Surrogate Koopman Models. In Erika Ábrahám, Manuel Mazo Jr., editors, Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM, 2024. [doi]
Abstract is missing.