Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis

Guy Scher, Sadra Sadraddini, Ariel Yadin +1

Providing guarantees on the safe operation of robots against edge cases is challenging as testing methods such as traditional Monte-Carlo require too many samples to provide reason…