BibTex format
@inproceedings{Lomuscio:2015,
author = {Lomuscio, AR and Cermak, P and Murano, A},
pages = {2038--2044},
publisher = {AAAI Press},
title = {Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications},
url = {http://www.aaai.org/Press/Proceedings/iaai15.php},
year = {2015}
}