@inproceedings{BakHekalKochdumperetal.2025, author = {Bak, Stanley and Hekal, Abdelrahman and Kochdumper, Niklas and Lew, Ethan and Mata, Andrew and Rahmati, Amir}, title = {Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights}, booktitle = {Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II}, editor = {Akshay, S. and Niemetz, Aina and Sankaranarayanan, Sriram}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-78750-8}, doi = {https://doi.org/10.1007/978-3-031-78750-8_12}, pages = {234 -- 255}, year = {2025}, language = {en} } @inproceedings{BakBogomolovHekaletal.2024, author = {Bak, Stanley and Bogomolov, Sergiy and Hekal, Abdelrahman and Kochdumper, Niklas and Lew, Ethan and Mata, Andrew and Rahmati, Amir}, title = {Falsification using Reachability of Surrogate Koopman Models}, pages = {27}, booktitle = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week}, editor = {{\´A}brah{\´a}m, Erika and Mazo, Manuel}, publisher = {ACM}, address = {New York}, isbn = {979-8-4007-0522-9}, doi = {https://doi.org/10.1145/3641513.3650141}, year = {2024}, language = {en} }