Learning a Formally Verified Control Barrier Function in Stochastic Environment.
Manan TayalHongchao ZhangPushpak JagtapAndrew ClarkShishir KolathayaPublished in: CoRR (2024)
Keyphrases
- autonomous robots
- learning problems
- online learning
- learning process
- data sets
- control rules
- learning algorithm
- unsupervised learning
- learning tasks
- incremental learning
- real time
- prior knowledge
- active learning
- mobile robot
- artificial neural networks
- knowledge acquisition
- learning styles
- higher education
- monte carlo
- bayesian networks
- adaptive control