parameterised

Verifying Fault-tolerance in Parameterised Multi-Agent Systems

Presenting work by Panagiotis Kouvaros and Alessio Lomuscio that was previously published at IJCAI 2017.