Active Sampling-based Binary Verification of Dynamical Systems.
John F. QuindlenUfuk TopcuGirish ChowdharyJonathan P. HowPublished in: CoRR (2017)
Keyphrases
- dynamical systems
- differential equations
- dynamic systems
- phase space
- nonlinear dynamical systems
- state space
- monte carlo
- partially observable
- qualitative simulation
- linear systems
- control theory
- dynamical models
- agent environment
- model checking
- motion planning
- dynamical behavior
- spatio temporal
- partially observable markov decision processes
- qualitative differential equations