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