One-Shot Reachability Analysis of Neural Network Dynamical Systems.
Shaoru ChenVictor M. PreciadoMahyar FazlyabPublished in: ICRA (2023)
Keyphrases
- dynamical systems
- reachability analysis
- neural network
- state space
- markov decision processes
- model checking
- differential equations
- dynamic systems
- timed automata
- qualitative simulation
- nonlinear dynamical systems
- incremental algorithms
- phase space
- control theory
- linear quadratic
- linear systems
- partially observable
- nonlinear dynamics
- reinforcement learning
- predictive state representations
- dynamic programming
- dynamical behavior
- linear dynamical systems
- agent environment
- markov decision problems
- markov chain