Papers
5
Total Citations
95
H-Index
5
About
No biography available yet.
Research Focus
Computer science5 · 95 citations
Mathematics5 · 95 citations
Artificial intelligence4 · 79 citations
Robot3 · 73 citations
Linear temporal logic4 · 68 citations
Programming language4 · 68 citations
Temporal logic4 · 68 citations
Theoretical computer science4 · 68 citations
Metric (unit)3 · 59 citations
Automaton3 · 59 citations
Task (project management)3 · 59 citations
Bounded function3 · 52 citations
Key Achievements
5
H-Index
5
Papers
95
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
Timed automata approach for motion planning using metric interval temporal logic
37 citations · 2016
📈 Most Prolific Year: 2016 (2 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Maryland, College Park, University of North Carolina at Charlotte
Top Papers
- 1
- 2Partial Information Target Defense Game27 citations · 2021
- 3Optimal mission planner with timed temporal logic constraints16 citations · 2015
- 4
- 5
Key Collaborators
Not generated yet