Sadra Sadraddini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2023
Best venue rank
A*
Where they publish
Papers
6 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 |
| 2020 | ICRA | R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems. | Albert Wu, Sadra Sadraddini, Russ Tedrake |
| 2019 | CAV | Polytopic Trees for Verification of Learning-Based Controllers. | Sadra Sadraddini, Shen Shen, Osbert Bastani |
| 2019 | ICRA | Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems. | Sadra Sadraddini, Russ Tedrake |
| 2019 | ISRR | ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. | Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta |