Sadra Sadraddini

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

论文数

6

总引用数

78

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
6
论文
78
总引用数
13
篇均引用
🏆 最高被引论文
Robotic swarm control from spatio-temporal specifications
39 次引用 · 2016
📈 最高产年份: 2022 (2 论文)
🤝 主要合作者: 6
🏛 所属机构: Boston University, Massachusetts Institute of Technology, Robotics Research (United States)

代表论文

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

主要合作者

RTRuss Tedrake3 篇合著论文GSGuy Scher2 篇合著论文HKHadas Kress‐Gazit2 篇合著论文IHIman Haghighi1 篇合著论文CBCălin Belta1 篇合著论文AWAlbert Wu1 篇合著论文
尚未生成