scientific article
From MaRDI portal
Publication:2999187
DOI10.3233/978-1-60750-606-5-543zbMath1211.68406MaRDI QIDQ2999187
Marta Kwiatkowska, Hongyang Qu, Alessio Lomuscio
Publication date: 11 May 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall ⋮ Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers ⋮ Parameterised verification for multi-agent systems
Uses Software
This page was built for publication:
