| Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks G Scher, S Sadraddini, H Kress-Gazit 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022 | 6 | 2022 |
| Warehouse automation in a day: from model to implementation with provable guarantees G Scher, H Kress-Gazit 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 6 | 2020 |
| Elliptical slice sampling for probabilistic verification of stochastic systems with signal temporal logic specifications G Scher, S Sadraddini, R Tedrake, H Kress-Gazit 25th ACM International Conference on Hybrid Systems: Computation and Control …, 2022 | 5 | 2022 |
| Probabilistic rare-event verification for temporal logic robot tasks G Scher, S Sadraddini, H Kress-Gazit 2023 IEEE International Conference on Robotics and Automation (ICRA), 12409 …, 2023 | 3 | 2023 |
| Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis G Scher, S Sadraddini, A Yadin, H Kress-Gazit arXiv preprint arXiv:2304.14886, 2023 | 2 | 2023 |
| Probabilistic Verification and Synthesis for Temporal Logic Robot Tasks G Scher Cornell University, 2023 | | 2023 |
| Control of a Flexible Beam Using Infinite Dimension Transfer Functions G Scher, גיא שר Technion-Israel Institute of Technology, Faculty of Mechanical Engineering, 2012 | | 2012 |
