Sibilla: A Tool for Reasoning about Collective Systems.

Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti

Browse the full Coordination paper archive.