Using probabilistic model checking and simulation for designing self-organizing systems.

Matteo Casadei, Mirko Viroli

Browse the full SAC paper archive.