NuSMV modelling of the "Race to the bottom" game

 

 

Download the report