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