Guy Scher

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Formal Verification

Top Venues

Publications

Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. ICRA (2023)
Guy Scher, Sadra Sadraddini, Ariel Yadin, Hadas Kress-Gazit
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. CoRR (2023)
Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. CoRR (2022)
Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. HSCC (2022)
Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. IROS (2022)
Guy Scher, Hadas Kress-Gazit
Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees. CASE (2020)