Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets

Christian Reuter, Stefan Göbel, Ralf Steinmetz. Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets. In José Pablo Zagal, Esther MacCallum-Stewart, Julian Togelius, editors, Proceedings of the 10th International Conference on the Foundations of Digital Games, FDG 2015, Pacific Grove, CA, USA, June 22-25, 2015. Society for the Advancement of the Science of Digital Games, 2015. [doi]

Abstract

Abstract is missing.