Modeling Norm Specification and Verification in Multiagent Systems

Natasha Alechina, Brian Logan, Mehdi Dastani. Modeling Norm Specification and Verification in Multiagent Systems. FLAP, 5(2):457-490, 2018. [doi]

Abstract

Abstract is missing.