"Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems."

Alessio Lomuscio, Edoardo Pirovano (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics