Cdc_24
Our recent work titled Learning a Formally Verified Control Barrier Function in Stochastic Environment, has been accepted to 63rd IEEE Conference on Decision and Control (CDC) 2024, Milan, Italy! 
Check out the project page.
Our recent work titled Learning a Formally Verified Control Barrier Function in Stochastic Environment, has been accepted to 63rd IEEE Conference on Decision and Control (CDC) 2024, Milan, Italy! Check out the project page.