Mitta, Rohan

1 publications

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