Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.
Nikola BenesLubos BrimMartin DemkoSamuel PastvaDavid SafránekPublished in: CAV (1) (2017)
Keyphrases
- dynamical systems
- differential equations
- nonlinear dynamical systems
- state space
- qualitative simulation
- dynamic systems
- linear systems
- control theory
- partially observable
- cellular automata
- phase space
- nonlinear dynamics
- dynamical models
- dynamical behavior
- qualitative differential equations
- discrete dynamical systems
- learning algorithm
- predictive state representations
- agent environment
- markov decision processes
- image sequences