Sadra Sadraddini

Boston University, Massachusetts Institute of Technology, Robotics Research (United States)

Papers

6

Total Citations

78

H-Index

3

About

No biography available yet.

Research Focus

Artificial intelligence6 · 78 citations
Computer science6 · 78 citations
Algorithm5 · 75 citations
Robot4 · 72 citations
Mathematics3 · 69 citations
Set (abstract data type)3 · 69 citations
Mathematical optimization3 · 69 citations
Theoretical computer science3 · 45 citations
Temporal logic3 · 45 citations
Trajectory2 · 42 citations
Linear temporal logic2 · 42 citations
Integer programming1 · 39 citations

Key Achievements

3
H-Index
6
Papers
78
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Robotic swarm control from spatio-temporal specifications
39 citations · 2016
📈 Most Prolific Year: 2022 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Boston University, Massachusetts Institute of Technology, Robotics Research (United States)

Top Papers

  1. 1
    Robotic swarm control from spatio-temporal specifications
    39 citations · 2016
  2. 2
    R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems
    27 citations · 2020
  3. 3
    Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks
    3 citations · 2022
  4. 4
    Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems
    3 citations · 2019
  5. 5
    Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
    3 citations · 2022
  6. 6
    Formal methods for resilient control
    3 citations · 2018

Key Collaborators

RTRuss Tedrake3 shared papersGSGuy Scher2 shared papersHKHadas Kress‐Gazit2 shared papersIHIman Haghighi1 shared papersCBCălin Belta1 shared papersAWAlbert Wu1 shared papers
Not generated yet