Mirchevska, V.; Luštrek, M.; Bežek, A.; Gams, M. Discovering Strategic Behaviour of Multi-Agent Systems in Adversary Settings. Comput. Inform. 2014, 33, 79-108.