Edoardo Pirovano

Imperial College London

Papers

3

Total Citations

14

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 14 citations
Artificial intelligence3 · 14 citations
Theoretical computer science3 · 14 citations
Robot2 · 11 citations
Swarm robotics2 · 11 citations
Robotics2 · 11 citations
Fault tolerance2 · 11 citations
Distributed computing2 · 11 citations
Model checking2 · 11 citations
Swarm behaviour2 · 11 citations
Robustness (evolution)1 · 8 citations
Multi-agent system1 · 8 citations

Key Achievements

3
H-Index
3
Papers
14
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
8 citations · 2018
📈 Most Prolific Year: 2018 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Imperial College London

Top Papers

  1. 1
    Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
    8 citations · 2018
  2. 2
    A counter abstraction technique for verifying properties of probabilistic swarm systems
    3 citations · 2022
  3. 3
    Verifying Fault-Tolerance in Probabilistic Swarm Systems
    3 citations · 2020

Key Collaborators

ALAlessio Lomuscio3 shared papersPKPanagiotis Kouvaros1 shared papers
Not generated yet