Guy Scher

According to our database, Guy Scher authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Guy Scher, Sadra Sadraddini, Ariel Yadin, Hadas Kress-Gazit

CoRR, 2023

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.

Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

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

Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

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

Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2020

Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees.

Guy Scher, Hadas Kress-Gazit

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020