Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions

8 April 2020

Papers citing "Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions"

1 / 1 papers shown

Title
Probabilistic Safety Constraints for Learned High Relative Degree System Dynamics M. J. Khojasteh Vikas Dhiman M. Franceschetti Nikolay Atanasov 41 73 0 20 Dec 2019