Sayan Mitra

University of Illinois Urbana-Champaign

Papers

9

Total Citations

120

H-Index

6

About

No biography available yet.

Research Focus

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

Key Achievements

6
H-Index
9
Papers
120
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Self-stabilizing robot formations over unreliable networks
28 citations · 2009
📈 Most Prolific Year: 2020 (2 Papers)
🤝 Key Collaborators: 33
🏛 Institutions: University of Illinois Urbana-Champaign

Top Papers

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

Key Collaborators

QGQichao Gao2 shared papersZHZhe Huang2 shared papersKDKatherine Driggs-Campbell2 shared papersSGSeth Gilbert2 shared papersPDPeter Du2 shared papersTNTina Nolte2 shared papersNLNancy Lynch2 shared papersPSParasara Sridhar Duggirala2 shared papersTTTaylor T. Johnson2 shared papersHSHussein Sibai2 shared papersTLTianqi Liu2 shared papersCFChuchu Fan2 shared papersCHChiao Hsieh2 shared papersDSDawei Sun1 shared papersAZAdam Zimmerman1 shared papersJCJingkai Chen1 shared papersMVMahesh Viswanathan1 shared papersTJTianchen Ji1 shared papersMPMatthew Potok1 shared papersKXKe Xu1 shared papers
Not generated yet