Verifying Fault-tolerance in Parameterised Multi-Agent Systems.

Panagiotis Kouvaros, Alessio Lomuscio

Browse the full IJCAI paper archive.