Login / Signup
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets.
Mark Wetzlinger
Niklas Kochdumper
Stanley Bak
Matthias Althoff
Published in:
CoRR (2022)
Keyphrases
</>
linear systems
automated verification
model checking
sufficient conditions
automated reasoning
dynamical systems
linear equations
formal verification
coefficient matrix
difference equations
sparse linear systems
knowledge representation
fuzzy logic
interior point methods