Sayan Mitra

University of Illinois Urbana-Champaign

论文数

9

总引用数

120

H-Index

6

关于

暂无简介。

研究焦点

Computer science9 · 120 次引用
Artificial intelligence8 · 95 次引用
Robot7 · 89 次引用
Distributed computing4 · 74 次引用
Algorithm3 · 55 次引用
State (computer science)3 · 55 次引用
Real-time computing3 · 48 次引用
Reachability3 · 48 次引用
Set (abstract data type)2 · 43 次引用
Programming language3 · 38 次引用
Human–computer interaction3 · 38 次引用
Mobile robot3 · 34 次引用

主要成就

6
H 指数
9
论文
120
总引用数
13
篇均引用
🏆 最高被引论文
Self-stabilizing robot formations over unreliable networks
28 次引用 · 2009
📈 最高产年份: 2020 (2 论文)
🤝 主要合作者: 33
🏛 所属机构: University of Illinois Urbana-Champaign

代表论文

  1. 1
    Self-stabilizing robot formations over unreliable networks
    28 次引用 · 2009
  2. 2
    Static and Dynamic Analysis of Timed Distributed Traces
    25 次引用 · 2012
  3. 3
    Online Monitoring for Safe Pedestrian-Vehicle Interactions
    21 次引用 · 2020
  4. 4
    Koord: a language for programming and verifying distributed robotics application
    17 次引用 · 2020
  5. 5
    Perception Contracts for Safety of ML-Enabled Systems
    15 次引用 · 2023
  6. 6
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 次引用 · 2016
  7. 7
    Self-stabilizing Mobile Robot Formations with Virtual Nodes
    4 次引用 · 2008
  8. 8
    Online monitoring for safe pedestrian-vehicle interactions
    2 次引用 · 2019
  9. 9
    Multi-agent Motion Planning from Signal Temporal Logic Specifications
    2 次引用 · 2022

主要合作者

QGQichao Gao2 篇合著论文ZHZhe Huang2 篇合著论文KDKatherine Driggs-Campbell2 篇合著论文SGSeth Gilbert2 篇合著论文PDPeter Du2 篇合著论文TNTina Nolte2 篇合著论文NLNancy Lynch2 篇合著论文PSParasara Sridhar Duggirala2 篇合著论文TTTaylor T. Johnson2 篇合著论文HSHussein Sibai2 篇合著论文TLTianqi Liu2 篇合著论文CFChuchu Fan2 篇合著论文CHChiao Hsieh2 篇合著论文DSDawei Sun1 篇合著论文AZAdam Zimmerman1 篇合著论文JCJingkai Chen1 篇合著论文MVMahesh Viswanathan1 篇合著论文TJTianchen Ji1 篇合著论文MPMatthew Potok1 篇合著论文KXKe Xu1 篇合著论文
尚未生成