3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.RO2023
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…
eess.SY2022★ 3 cited
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Guy Scher, Sadra Sadraddini, Russ Tedrake +1
Autonomous robots typically incorporate complex sensors in their decision-making and control loops. These sensors, such as cameras and Lidars, have imperfections in their sensing a…