Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning.
Rameez WajidAsad Ullah AwanMajid ZamaniPublished in: L4DC (2022)
Keyphrases
- gaussian process
- control system
- reinforcement learning
- learning algorithm
- gaussian processes
- prior knowledge
- active learning
- learning tasks
- model selection
- gaussian process regression
- incremental learning
- learning process
- regression model
- machine learning
- worst case
- semi supervised
- bayesian methods
- marginal likelihood