Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. - Rohan Mitta; Hosein Hasanbeig; Jun Wang 135; Daniel Kroening; Yiannis Kantaros; Alessandro Abate (AAAI, 2024)