Panagiotis Kouvaros

Imperial College London, University of Cyprus

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

  1. 1
    A Counter Abstraction Technique for the Verification of Robot Swarms
    23 citations · 2015
  2. 2
    Automatic verification of parameterised multi-agent systems
    17 citations · 2013
  3. 3
    Automatic Verification of Parameterised Interleaved Multi-Agent Systems
    13 citations · 2013
  4. 4
    Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
    8 citations · 2018

Key Collaborators

ALAlessio Lomuscio4 shared papersEPEdoardo Pirovano1 shared papers
Not generated yet