Compositional Verification of Stigmergic Collective Systems.

Luca Di Stefano, Frdric Lang

Browse the full VMCAI paper archive.