Papers
2
Total Citations
21
H-Index
2
About
No biography available yet.
Research Focus
Distributed computing2 · 21 citations
Computer science2 · 21 citations
Swarm behaviour1 · 17 citations
Artificial intelligence1 · 17 citations
Robot1 · 17 citations
Semantics (computer science)1 · 17 citations
Specification language1 · 17 citations
Algorithm1 · 17 citations
Engineering1 · 17 citations
Metric (unit)1 · 17 citations
Mobile robot1 · 17 citations
Model checking1 · 17 citations
Key Achievements
2
H-Index
2
Papers
21
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms
17 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: National University of Defense Technology
Top Papers
- 1Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms17 citations · 2019
- 2Decentralized runtime enforcement for robotic swarms4 citations · 2020
Key Collaborators
Not generated yet