Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy.

Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano

Browse the full EUMAS paper archive.