Panagiotis Kouvaros
Papers
4
Total Citations
61
H-Index
4
About
No biography available yet.
Research Focus
Theoretical computer science4 · 61 citations
Model checking4 · 61 citations
Computer science4 · 61 citations
Artificial intelligence4 · 61 citations
Temporal logic3 · 38 citations
Multi-agent system3 · 38 citations
Swarm robotics2 · 31 citations
Robot2 · 31 citations
Swarm behaviour2 · 31 citations
Decidability2 · 30 citations
Mathematics2 · 30 citations
State (computer science)2 · 30 citations
Key Achievements
4
H-Index
4
Papers
61
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
A Counter Abstraction Technique for the Verification of Robot Swarms
23 citations · 2015
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Imperial College London, University of Cyprus
Top Papers
- 1A Counter Abstraction Technique for the Verification of Robot Swarms23 citations · 2015
- 2Automatic verification of parameterised multi-agent systems17 citations · 2013
- 3Automatic Verification of Parameterised Interleaved Multi-Agent Systems13 citations · 2013
- 4
Key Collaborators
Not generated yet