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]
Abstract is missing.