Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees. - Guy Scher; Hadas Kress-Gazit (CASE, 2020)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. - Guy Scher; Sadra Sadraddini; Russ Tedrake; Hadas Kress-Gazit (HSCC, 2022)

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. - Guy Scher; Sadra Sadraddini; Hadas Kress-Gazit (IROS, 2022)

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. - Guy Scher; Sadra Sadraddini; Hadas Kress-Gazit (ICRA, 2023)

Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. - Guy Scher; Sadra Sadraddini; Ariel Yadin; Hadas Kress-Gazit (CoRR, 2023)