scientific article
From MaRDI portal
Publication:2848072
zbMath1272.68279MaRDI QIDQ2848072
Alessio Lomuscio, Bożena Woźna, Wojciech Penczek
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610500085X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (4)
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ The logic of knowledge based obligation ⋮ Bounded model checking for knowledge and real time ⋮ Parameterised verification for multi-agent systems
This page was built for publication:
