A Verification Framework for Normative Multi-Agent Systems.

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer

Browse the full PRIMA paper archive.