Reachability Verification for Stochastic Discrete-time Dynamical Systems.
Bai XuePublished in: CoRR (2023)
Keyphrases
- dynamical systems
- linear quadratic
- state space
- optimal control problems
- control theory
- markov processes
- differential equations
- markov chain
- dynamic systems
- timed petri nets
- nonlinear dynamical systems
- phase space
- qualitative simulation
- monte carlo
- dynamical models
- dynamical behavior
- optimal control
- model checking
- linear systems
- agent environment
- dynamic programming
- closed loop
- linear dynamical systems
- search space
- video sequences
- stochastic processes
- machine learning
- planning problems
- stochastic models
- objective function
- reinforcement learning