Sign in
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.
Mark Wetzlinger
Niklas Kochdumper
Stanley Bak
Matthias Althoff
Published in:
HSCC (2023)
Keyphrases
</>
linear systems
reachability analysis
automated verification
model checking
sufficient conditions
dynamical systems
markov decision processes
timed automata
coefficient matrix
interior point methods
automated reasoning
temporal logic
real time
multi objective
artificial intelligence
machine learning
neural network