Proceedings

Edoardo Pirovano

3 papers in the IJCAI proceedings

IJCAI 2020

Verifying Fault-Tolerance in Probabilistic Swarm Systems
with Alessio Lomuscio
doi:10.24963/ijcai.2020/46
Details PDF

IJCAI 2018

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
with Panagiotis Kouvaros, Alessio Lomuscio
doi:10.24963/ijcai.2018/45
Details PDF
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
with Alessio Lomuscio
doi:10.24963/ijcai.2018/56
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards