Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets.

Christian Reuter, Stefan Gbel, Ralf Steinmetz

Browse the full FDG paper archive.