Papers
2
Total Citations
122
H-Index
2
About
No biography available yet.
Research Focus
Artificial intelligence2 · 122 citations
Computer science2 · 122 citations
Robot2 · 122 citations
Software engineering1 · 97 citations
Embedded system1 · 97 citations
Formal verification1 · 97 citations
Code (set theory)1 · 97 citations
Programming language1 · 97 citations
Set (abstract data type)1 · 97 citations
Software1 · 97 citations
Variety (cybernetics)1 · 25 citations
Dynamic decision-making1 · 25 citations
Key Achievements
2
H-Index
2
Papers
122
Total Citations
61
Avg Citations/Paper
🏆 Most Cited Paper
ROSRV: Runtime Verification for Robots
97 citations · 2014
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: University of Illinois Urbana-Champaign, John Brown University
Top Papers
- 1ROSRV: Runtime Verification for Robots97 citations · 2014
- 2
Key Collaborators
BMBrandon Moore1 shared papersDLDavid L. Roberts1 shared papersJMJames MacGlashan1 shared papersBPBei Peng1 shared papersMEMatthew E. Taylor1 shared papersASAravind Sundaresan1 shared papersCECansu Erdoğan1 shared papersRLRobert Loftin1 shared papersQLQingzhou Luo1 shared papersMLMichael L. Littman1 shared papersYZYi Zhang1 shared papersGRGrigore Roşu1 shared papers
Not generated yet