Mirchevska, V. et al. 2014. Discovering Strategic Behaviour of Multi-Agent Systems in Adversary Settings. Computing and Informatics. 33, 1 (Jun. 2014), 79–108.