TY - CHAP A1 - Bak, Stanley A1 - Hekal, Abdelrahman A1 - Kochdumper, Niklas A1 - Lew, Ethan A1 - Mata, Andrew A1 - Rahmati, Amir ED - Akshay, S. ED - Niemetz, Aina ED - Sankaranarayanan, Sriram T1 - Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights T2 - Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II UR - https://doi.org/10.1007/978-3-031-78750-8_12 Y1 - 2025 UR - https://doi.org/10.1007/978-3-031-78750-8_12 SN - 978-3-031-78750-8 SP - 234 EP - 255 PB - Springer CY - Cham ER - TY - CHAP A1 - Bak, Stanley A1 - Bogomolov, Sergiy A1 - Hekal, Abdelrahman A1 - Kochdumper, Niklas A1 - Lew, Ethan A1 - Mata, Andrew A1 - Rahmati, Amir ED - Ábrahám, Erika ED - Mazo, Manuel T1 - Falsification using Reachability of Surrogate Koopman Models T2 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week UR - https://doi.org/10.1145/3641513.3650141 Y1 - 2024 UR - https://doi.org/10.1145/3641513.3650141 SN - 979-8-4007-0522-9 PB - ACM CY - New York ER -