Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
Thom S. BadingsLicio RomaoAlessandro AbateNils JansenPublished in: AAAI (2023)
Keyphrases
- dynamical models
- controller synthesis
- dynamical model
- dynamical systems
- conditional probabilities
- gaussian process
- probability distribution
- closed loop
- statistical models
- visual tracking
- control system
- motion model
- human motion
- three dimensional
- control algorithm
- video sequences
- image sequences
- non stationary
- bayesian framework
- model selection
- particle filter
- dynamic programming
- support vector