Panagiotis Kouvaros

Imperial College London, University of Cyprus

论文数

4

总引用数

61

H-Index

4

关于

暂无简介。

研究焦点

Theoretical computer science4 · 61 次引用
Model checking4 · 61 次引用
Computer science4 · 61 次引用
Artificial intelligence4 · 61 次引用
Temporal logic3 · 38 次引用
Multi-agent system3 · 38 次引用
Swarm robotics2 · 31 次引用
Robot2 · 31 次引用
Swarm behaviour2 · 31 次引用
Decidability2 · 30 次引用
Mathematics2 · 30 次引用
State (computer science)2 · 30 次引用

主要成就

4
H 指数
4
论文
61
总引用数
15
篇均引用
🏆 最高被引论文
A Counter Abstraction Technique for the Verification of Robot Swarms
23 次引用 · 2015
📈 最高产年份: 2013 (2 论文)
🤝 主要合作者: 2
🏛 所属机构: Imperial College London, University of Cyprus

代表论文

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

主要合作者

ALAlessio Lomuscio4 篇合著论文EPEdoardo Pirovano1 篇合著论文
尚未生成