Carla A. D. M. Delgado, Mario R. F. Benevides. Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. In Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr, editors, Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings. Volume 5774 of Lecture Notes in Computer Science, pages 16-28, Springer, 2009. [doi]
@inproceedings{DelgadoB09,
title = {Verification of Epistemic Properties in Probabilistic Multi-Agent Systems},
author = {Carla A. D. M. Delgado and Mario R. F. Benevides},
year = {2009},
doi = {10.1007/978-3-642-04143-3_3},
url = {http://dx.doi.org/10.1007/978-3-642-04143-3_3},
researchr = {https://researchr.org/publication/DelgadoB09},
cites = {0},
citedby = {0},
pages = {16-28},
booktitle = {Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings},
editor = {Lars Braubach and Wiebe van der Hoek and Paolo Petta and Alexander Pokahr},
volume = {5774},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04142-6},
}