Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
Thom S. BadingsLicio RomaoAlessandro AbateNils JansenPublished in: CoRR (2022)
Keyphrases
- dynamical models
- controller synthesis
- dynamical model
- dynamical systems
- conditional probabilities
- gaussian process
- visual tracking
- human motion
- particle filter
- pose tracking
- control system
- closed loop
- motion model
- markov models
- multi agent
- statistical models
- control algorithm
- probability distribution
- probabilistic model
- real time
- image sequences
- video sequences
- subject specific
- reinforcement learning