About Me

PhD, working in the Verifiable Robotics lab at Cornell university.

Research

Interested in autonomous and intelligent decision making for robots with noisy perception, and verification with formal guarantees of safety and completion of tasks.

  • Verification and synthesis of controls for robots subject to high-level specifications
  • Formal methods and synthesis
  • Multi-robot cooperation

Publications

G. Scher, S. Sadraddini, A. Yadin, H. Kress-Gazit, "Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis,"  ArXiv, 2023, doi: https://doi.org/10.48550/arXiv.2304.14886. - link
G. Scher, S. Sadraddini, H. Kress-Gazit, "Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks,"  accepted to 40th IEEE Conference on Robotics and Automation, 2023, doi: TBD. - link
G. Scher, S. Sadraddini, H. Kress-Gazit, "Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks,"  2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022, doi: 10.1109/IROS47612.2022.9982233. - link
G. Scher, S. Sadraddini, R. Tedrake, H. Kress-Gazit, "Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications,"  25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2022, doi: 10.1145/3501710.3519506. - link
G. Scher and H. Kress-Gazit, "Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees," 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), Hong Kong, Hong Kong, 2020, pp. 280-287, doi: 10.1109/CASE48305.2020.9217012. - link

Contact Me