Login / Signup
Falsification using Reachability of Surrogate Koopman Models.
Stanley Bak
Sergiy Bogomolov
Abdelrahman Hekal
Niklas Kochdumper
Ethan Lew
Andrew Mata
Amir Rahmati
Published in:
HSCC (2024)
Keyphrases
</>
complex systems
statistical models
statistical model
real time
data sets
neural network
genetic algorithm
search engine
similarity measure
reinforcement learning
multi agent
state space
markov chain
generative model