Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
Christel BaierFlorian FunkeSimon JantschToghrul KarimovEngel LefaucheuxJoël OuaknineDavid PurserMarkus A. WhitelandJames WorrellPublished in: CONCUR (2022)
Keyphrases
- dynamical systems
- differential equations
- state space
- dynamic systems
- control theory
- nonlinear dynamical systems
- linear systems
- qualitative simulation
- bayesian networks
- predictive state representations
- partially observable
- agent environment
- generative model
- dynamical behavior
- probabilistic model
- phase space
- initial conditions
- dynamical models
- nonlinear dynamics
- latent variable models
- dynamic programming
- multi agent