Falsification using Reachability of Surrogate Koopman Models

Open Webpage

Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati

Published: 2024, Last Modified: 26 May 2026HSCC 2024EveryoneRevisionsBibTeXCC BY-SA 4.0