Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL.

Christian Nigro, Libero Nigro, Paolo F. Sciammarella

Browse the full ECMS paper archive.