Ankush Desai

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

论文数

7

总引用数

181

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
7
论文
181
总引用数
26
篇均引用
🏆 最高被引论文
Combining Model Checking and Runtime Verification for Safe Robotics
75 次引用 · 2017
📈 最高产年份: 2017 (3 论文)
🤝 主要合作者: 11
🏛 所属机构: University of California System, University of California, Berkeley, Amazon (United States)

代表论文

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

主要合作者

SASanjit A. Seshia6 篇合著论文SQShaz Qadeer3 篇合著论文ATAshish Tiwari2 篇合著论文SGShromona Ghosh2 篇合著论文NBNatarajan Balaji Shankar1 篇合著论文TDTommaso Dreossi1 篇合著论文HTHazem Torfah1 篇合著论文NSNatarajan Shankar1 篇合著论文ISIndranil Saha1 篇合著论文BYBeyazit Yalcinkaya1 篇合著论文JYJianqiao Yang1 篇合著论文
尚未生成