On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination.

Vincenzo Ciancia, Diego Latella, Mieke Massink

Browse the full Coordination paper archive.