Verifying social expectations by model checking truncated paths

DOI10.1093/LOGCOM/EXQ055MaRDI QIDQ3103983zbMATH OpenOpenAlexFDO

Authors Stephen Cranefield, Michael Winikoff

Publication date 19 December 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10523/1240

zbMATH Keywords

model checkingmulti-agent systemssocial expectations

Mathematics Subject Classification ID

Temporal logic (03B44) Other applications of logic (03B80) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Models of societies, social and urban evolution (91D10)

Recommendations

• scientific article; zbMATH DE number 2222698
• A Framework for Model Checking Institutions
• Deontic Logic in Computer Science
• On the SMT-based verification of communicative commitments
• \textsc{NorMC}: a norm compliance temporal logic model checker

Cited in

(2)

• Normative reasoning and consequence
• A Framework for Model Checking Institutions

This page was built for publication: Verifying social expectations by model checking truncated paths

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