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

Christian Nigro, Libero Nigro, Paolo F. Sciammarella. Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simulation, 96(2), 2020. [doi]

Abstract

Abstract is missing.