Guy Scher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2022–2023
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICRA | Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. | Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit |
| 2022 | IROS | Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. | Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit |