scientific article
From MaRDI portal
Publication:2999188
DOI10.3233/978-1-60750-606-5-549zbMath1211.68248MaRDI QIDQ2999188
Xiaowei Huang, Ron van der Meyden
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)
Related Items (3)
Checking EMTLK properties of timed interpreted systems via bounded model checking ⋮ Exponential improvement of time complexity of model checking for multiagent systems with perfect recall ⋮ Unnamed Item
This page was built for publication:
