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

MaRDI QIDQ4583952zbMATHFDO

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

Publication date 29 August 2018

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

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)

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

Cited in

(3)

• A Temporal Logic of Normative Systems
• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Verifying social expectations by model checking truncated paths

Describes a project that uses

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)