A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP.

Aida Boudhaouia, Belhassen Mazigh, Ezzine Missaoui

Browse the full AICCSA paper archive.