Model Checking in Multiplayer Games Development.

Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera

Browse the full AINA paper archive.