Alessio Lomuscio

Imperial College London

论文数

8

总引用数

538

H-Index

6

关于

暂无简介。

研究焦点

Artificial intelligence8 · 538 次引用
Computer science8 · 538 次引用
Theoretical computer science7 · 357 次引用
Model checking6 · 354 次引用
Multi-agent system4 · 328 次引用
Temporal logic4 · 328 次引用
State (computer science)3 · 320 次引用
Programming language4 · 313 次引用
Description logic1 · 290 次引用
Anonymity1 · 290 次引用
Multimodal logic1 · 290 次引用
Computer security1 · 290 次引用

主要成就

6
H 指数
8
论文
538
总引用数
67
篇均引用
🏆 最高被引论文
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
290 次引用 · 2009
📈 最高产年份: 2013 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: Imperial College London

代表论文

  1. 1
    MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    290 次引用 · 2009
  2. 2
    Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems
    181 次引用 · 2014
  3. 3
    A Counter Abstraction Technique for the Verification of Robot Swarms
    23 次引用 · 2015
  4. 4
    Automatic verification of parameterised multi-agent systems
    17 次引用 · 2013
  5. 5
    Automatic Verification of Parameterised Interleaved Multi-Agent Systems
    13 次引用 · 2013
  6. 6
    Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
    8 次引用 · 2018
  7. 7
    A counter abstraction technique for verifying properties of probabilistic swarm systems
    3 次引用 · 2022
  8. 8
    Verifying Fault-Tolerance in Probabilistic Swarm Systems
    3 次引用 · 2020

主要合作者

PKPanagiotis Kouvaros4 篇合著论文EPEdoardo Pirovano3 篇合著论文MNMichael N. Huhns1 篇合著论文HQHongyang Qu1 篇合著论文ALAna L. C. Bazzan1 篇合著论文PSPaul Scerri1 篇合著论文FRFranco Raimondi1 篇合著论文
尚未生成