Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. - Panagiotis Kouvaros; Alessio Lomuscio; Edoardo Pirovano (IJCAI, 2018)

Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. - Alessio Lomuscio; Edoardo Pirovano (IJCAI, 2018)

Reachability Analysis for Neural Agent-Environment Systems. - Michael Akintunde; Alessio Lomuscio; Lalit Maganti; Edoardo Pirovano (KR, 2018)

Verification of RNN-Based Neural Agent-Environment Systems. - Michael E. Akintunde; Andreea Kevorchian; Alessio Lomuscio; Edoardo Pirovano (AAAI, 2019)

Formal Verification of Open Multi-Agent Systems. - Panagiotis Kouvaros; Alessio Lomuscio; Edoardo Pirovano; Hashan Punchihewa (AAMAS, 2019)

A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. - Alessio Lomuscio; Edoardo Pirovano (AAMAS, 2019)

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. - Alessio Lomuscio; Edoardo Pirovano (AAMAS, 2020)

Verifying Fault-Tolerance in Probabilistic Swarm Systems. - Alessio Lomuscio; Edoardo Pirovano (IJCAI, 2020)

A counter abstraction technique for verifying properties of probabilistic swarm systems. - Alessio Lomuscio; Edoardo Pirovano (Artif. Intell., 2022)