Verifying social expectations by model checking truncated paths

DOI10.1093/LOGCOM/EXQ055zbMath1228.03014OpenAlexW2133800445MaRDI QIDQ3103983

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

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

Related Items (1)

Unnamed Item

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