\textsc{NorMC}: a norm compliance temporal logic model checker

zbMATH Open1394.68232MaRDI QIDQ4583952FDOQ4583952

Authors: Piotr Kaźmierczak, Truls Pedersen, Thomas Ågotnes 

Publication date: 29 August 2018

Full work available at URL: http://ebooks.iospress.nl/volumearticle/6913

Recommendations

• A Temporal Logic of Normative Systems
• Model checking normative agent organisations
• Robust normative systems and a logic of norm compliance
• mcmas: A Model Checker for Multi-agent Systems
• Making Golog norm compliant

zbMATH Keywords

model checkingmulti-agent systemsHaskellnormative systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Cited In (2)

• Dischargeable Obligations in the 𝒮CIFF Framework
• A Temporal Logic of Normative Systems

Uses Software

• Haskell

This page was built for publication: \textsc{NorMC}: a norm compliance temporal logic model checker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583952)