Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems.

Alessio Lomuscio, Edoardo Pirovano

Browse the full IJCAI paper archive.