Ankush Desai

University of California System, University of California, Berkeley, Amazon (United States)

Papers

7

Total Citations

181

H-Index

5

About

No biography available yet.

Research Focus

Computer science7 · 181 citations
Artificial intelligence5 · 174 citations
Robot5 · 174 citations
Robotics5 · 174 citations
Embedded system5 · 170 citations
Programming language6 · 108 citations
Software engineering5 · 106 citations
Software3 · 93 citations
Distributed computing3 · 88 citations
Software deployment2 · 87 citations
Formal verification2 · 83 citations
Runtime verification2 · 83 citations

Key Achievements

5
H-Index
7
Papers
181
Total Citations
26
Avg Citations/Paper
🏆 Most Cited Paper
Combining Model Checking and Runtime Verification for Safe Robotics
75 citations · 2017
📈 Most Prolific Year: 2017 (3 Papers)
🤝 Key Collaborators: 11
🏛 Institutions: University of California System, University of California, Berkeley, Amazon (United States)

Top Papers

  1. 1
    Combining Model Checking and Runtime Verification for Safe Robotics
    75 citations · 2017
  2. 2
    DRONA
    73 citations · 2017
  3. 3
    Programming Safe Robotics Systems: Challenges and Advances
    12 citations · 2018
  4. 4
    SOTER: Programming Safe Robotics System using Runtime Assurance.
    8 citations · 2018
  5. 5
    SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
    6 citations · 2019
  6. 6
    Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems
    5 citations · 2023
  7. 7
    P: Modular and Safe Asynchronous Programming
    2 citations · 2017

Key Collaborators

SASanjit A. Seshia6 shared papersSQShaz Qadeer3 shared papersATAshish Tiwari2 shared papersSGShromona Ghosh2 shared papersNBNatarajan Balaji Shankar1 shared papersTDTommaso Dreossi1 shared papersHTHazem Torfah1 shared papersNSNatarajan Shankar1 shared papersISIndranil Saha1 shared papersBYBeyazit Yalcinkaya1 shared papersJYJianqiao Yang1 shared papers
Not generated yet