Guy Scher | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Russ Tedrake
54 publications
Hadas Kress-Gazit
17 publications
Sadra Sadraddini
5 publications
Ariel Yadin
1 publication

research

∙ 04/28/2023

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

Providing guarantees on the safe operation of robots against edge cases ...

0 Guy Scher, et al. ∙

research

∙ 02/28/2022

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications

Autonomous robots typically incorporate complex sensors in their decisio...

0 Guy Scher, et al. ∙