This case study concerns public good games, an economic model of social choice.

For more information, see: http://www.prismmodelchecker.org/casestudies/public_good_game.php

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