Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.
Navid HashemiXin QinLars LindemannJyotirmoy V. DeshmukhPublished in: CoRR (2023)
Keyphrases
- dynamical systems
- reachability analysis
- data driven
- state space
- model checking
- markov decision processes
- dynamic systems
- differential equations
- timed automata
- nonlinear dynamical systems
- qualitative simulation
- phase space
- predictive state representations
- partially observable
- temporal logic
- incremental algorithms
- bayesian networks
- dynamic programming
- linear dynamical systems
- stochastic systems
- stochastic models
- linear quadratic
- stochastic model
- monte carlo
- optimal policy