Automatic Data-Abstraction in Model Checking Multi-Agent Systems

DOI10.1007/978-3-642-20674-0_4zbMath1327.68162OpenAlexW1600750145MaRDI QIDQ3003426

Alessio Lomuscio, Francesco Russo, Hongyang Qu

Publication date: 27 May 2011

Published in: Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20674-0_4

Mathematics Subject Classification ID

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

Uses Software

• VerICS
• CUDD
• MCMAS
• MCK

Cites Work

• Using branching time temporal logic to synthesize synchronization skeletons
• Abstractions of Multi-agent Systems
• A Data Symmetry Reduction Technique for Temporal-epistemic Logic
• Computer Aided Verification
• Refinement of Kripke Models for Dynamics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic Data-Abstraction in Model Checking Multi-Agent Systems