Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.
Sicun GaoJames KapinskiJyotirmoy V. DeshmukhNima RoohiArmando Solar-LezamaNikos AréchigaSoonho KongPublished in: CAV (2) (2019)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- nonlinear dynamical systems
- qualitative simulation
- phase space
- linear systems
- state space
- dynamical models
- control theory
- partially observable
- rule learning
- agent environment
- predictive state representations
- nonlinear dynamics
- logical rules
- machine learning
- dynamical behavior