Model checking degrees of belief in a system of agents

Giuseppe Primiero, Franco Raimondi, Neha Rungta. Model checking degrees of belief in a system of agents. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 133-140, IFAAMAS/ACM, 2014. [doi]

Abstract

Abstract is missing.