Probably Approximate Safety Verification of Hybrid Dynamical Systems.
Bai XueMartin FränzleHengjun ZhaoNaijun ZhanArvind EaswaranPublished in: ICFEM (2019)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- nonlinear dynamical systems
- state space
- linear systems
- partially observable
- qualitative simulation
- dynamical models
- control theory
- agent environment
- dynamical behavior
- model checking
- discrete dynamical systems
- learning algorithm
- phase space
- partially observable markov decision processes
- control system
- search space