scientific article; zbMATH DE number 6928586

zbMATH Open1394.68232MaRDI QIDQ4583952FDOQ4583952

Truls Pedersen, Piotr Kaźmierczak, Thomas Ågotnes

Publication date: 29 August 2018

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

Title of this publication is not available (Why is that?)

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 (1)

• Dischargeable Obligations in the 𝒮CIFF Framework

Uses Software

• Haskell

This page was built for publication:

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