Guy Scher

2 accepted papers

2023

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks

Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit

ICRA 2023poster

We present a method for calculating the probability that a robot successfully performs a task described using Signal Temporal Logic (STL). We focus on cases where the failure probability is very small, hence a traditional Monte-Carlo method becomes inefficient due to the large number of samples requ…

Cited by 3 Source ↗Scholar ↗

2022

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks

Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit

IROS 2022poster

We develop a method for synthesizing control policies for stochastic, linear, time-varying systems that must perform tasks specified in signal temporal logic. We build upon an efficient, sampling-based framework that computes the probability of the system satisfying its specification. By exploiting…

Cited by 7 Source ↗Scholar ↗