Formal reasoning on knowledge and commitments in multi-agent systems using Theatre:

This paper proposes a formal method based on the Theatre framework for modeling and analysis of knowledge and commitments in multi-agent systems (MASs). Theatre centers on actors and a reduction on...