Well-Structured Model Checking of Multiagent Systems

DOI10.1007/978-3-540-70881-0_31zbMath1185.68425OpenAlexW1597499909MaRDI QIDQ3401961

No author found.

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_31

Mathematics Subject Classification ID

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

Related Items (1)

Exponential improvement of time complexity of model checking for multiagent systems with perfect recall

This page was built for publication: Well-Structured Model Checking of Multiagent Systems