Verifying Fault-Tolerance in Probabilistic Swarm Systems.

Alessio Lomuscio, Edoardo Pirovano

Browse the full IJCAI paper archive.