Reachability in Dynamical Systems with Rounding.
Christel BaierFlorian FunkeSimon JantschToghrul KarimovEngel LefaucheuxJoël OuaknineAmaury PoulyDavid PurserMarkus A. WhitelandPublished in: CoRR (2020)
Keyphrases
- dynamical systems
- state space
- approximation algorithms
- linear programming
- dynamic systems
- differential equations
- linear systems
- nonlinear dynamical systems
- control theory
- qualitative simulation
- predictive state representations
- agent environment
- phase space
- reinforcement learning
- partially observable
- planning problems
- probabilistic model
- markov decision processes
- optimal policy
- nonlinear dynamics
- neural network