Reachability in Dynamical Systems with Rounding.
Christel BaierFlorian FunkeSimon JantschToghrul KarimovEngel LefaucheuxJoël OuaknineAmaury PoulyDavid PurserMarkus A. WhitelandPublished in: FSTTCS (2020)
Keyphrases
- dynamical systems
- state space
- linear programming
- approximation algorithms
- dynamic systems
- differential equations
- nonlinear dynamical systems
- phase space
- linear systems
- control theory
- qualitative simulation
- reinforcement learning
- dynamical models
- partially observable
- optimal policy
- markov chain
- dynamical behavior
- agent environment
- dynamic programming
- machine learning