mcmas: A Model Checker for Multi-agent Systems

DOI10.1007/11691372_31MaRDI QIDQ3433724zbMATH OpenOpenAlexFDO

Authors Alessio Lomuscio, Franco Raimondi

Publication date 2 May 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11691372_31

Mathematics Subject Classification ID

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

Recommendations

• Verification of heterogeneous multi-agent system using MCMAS
• scientific article; zbMATH DE number 1759731
• Well-structured model checking of multiagent systems
• A compositional automata-based approach for model checking multi-agent systems
• Model-checking for heterogeneous multi-agent systems
• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 2215634
• Abstraction for model checking multi-agent systems

Cited in

(21)

• MACRAME: A problem formulation and model structuring assistant in multiactorial contexts
• Reasoning about graded strategy quantifiers
• Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
• Which fragments of the interval temporal logic HS are tractable in model checking?
• Producing explanations for rich logics
• Modelling accuracy and trustworthiness of explaining agents
• Model checking interval temporal logics with regular expressions
• Populational announcement logic (PPAL)
• Natural strategic ability
• Approximate verification of strategic abilities under imperfect information
• Automatic data-abstraction in model checking multi-agent systems
• Model checking normative agent organisations
• On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions
• A Framework for Automatically Checking Anonymity with μCRL
• scientific article; zbMATH DE number 2063027 (Why is no real title available?)
• \textsc{NorMC}: a norm compliance temporal logic model checker
• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
• Decidability of model checking multi-agent systems against a class of EHS specifications
• Verification of the TESLA protocol in MCMAS-X
• Monitoring agents using declarative planning
• Artificial Intelligence: Methodology, Systems, and Applications

Describes a project that uses

Uses Software

• MCMAS

This page was built for publication: mcmas: A Model Checker for Multi-agent Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3433724)