Interactive Verification of Game Design and Playing Strategies.

Dimitrios Kalles, Eirini Ntoutsi

Browse the full ICTAI paper archive.