scientific article; zbMATH DE number 1202873

zbMath0904.68159MaRDI QIDQ4209291

Massimo Benerecetti, Luciano Serafini, Fausto Giunchiglia

Publication date: 27 September 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingmultiagent systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of software (68N99)

Related Items (11)

Verifiable agent dialogues ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ On feasible cases of checking multi-agent systems behavior. ⋮ Unnamed Item ⋮ Where logic and agents meet ⋮ Local Models Semantics, or contextual reasoning = locality + compatibility ⋮ On complexity of verification of interacting agents' behavior ⋮ Verifying time, memory and communication bounds in systems of reasoning agents ⋮ Systems of agents controlled by logical programs: complexity of verification ⋮ A Compositional Automata-based Approach for Model Checking Multi-Agent Systems

This page was built for publication: