Collective Decision Making for Sensor Networks

This case study is based on a distributed consensus algorithm for sensor networks [SS12],
modelled and verified in [CFK+13b].

File name meanings:
* cdmsn3032.prism - model: 3 sensors, 0 of which deterministic, 3 targets, 2 confidence levels
* cdmsn3.props - properties for 3 sensors

For the full set of files, see: http://www.prismmodelchecker.org/files/fmsd-smg/

=====================================================================================

[CFK+13b]
Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker and Aistis Simaitis.
Automatic Verification of Competitive Stochastic Systems.
Formal Methods in System Design, 43(1), pages 61-92, Springer, 2013.

[SS12]
F. Saffre and A. Simaitis.
Host selection through collective decision.
ACM Transactions on Autonomous and Adaptive Systems (TAAS), 7(1), 2012.
