Francesco Belardinelli, Davide Grossi, Alessio Lomuscio. Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 854-860, AAAI Press, 2015. [doi]
@inproceedings{BelardinelliGL15, title = {Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems}, author = {Francesco Belardinelli and Davide Grossi and Alessio Lomuscio}, year = {2015}, url = {http://ijcai.org/papers15/Abstracts/IJCAI15-125.html}, researchr = {https://researchr.org/publication/BelardinelliGL15}, cites = {0}, citedby = {0}, pages = {854-860}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015}, editor = {Qiang Yang 0001 and Michael Wooldridge}, publisher = {AAAI Press}, isbn = {978-1-57735-738-4}, }