Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.
Andrew SogokonPaul B. JacksonPublished in: FM (2015)
Keyphrases
- dynamical systems
- formal verification
- differential equations
- dynamic systems
- model checking
- nonlinear dynamical systems
- model checker
- control theory
- state space
- phase space
- qualitative simulation
- partially observable
- symbolic model checking
- bounded model checking
- linear systems
- automated verification
- discrete dynamical systems
- dynamical models
- learning algorithm