Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati. Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. In S. Akshay 0001, Aina Niemetz, Sriram Sankaranarayanan 0001, editors, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II. Volume 15055 of Lecture Notes in Computer Science, pages 234-255, Springer, 2024. [doi]
Abstract is missing.