Falsification using Reachability of Surrogate Koopman Models

Open Webpage

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

Published: 01 Jan 2024, Last Modified: 25 Jul 2025HSCC 2024EveryoneRevisionsBibTeXCC BY-SA 4.0