mcmas: A Model Checker for Multi-agent Systems
From MaRDI portal
Publication:3433724
DOI10.1007/11691372_31zbMath1459.68121OpenAlexW2024664992MaRDI QIDQ3433724
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
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (11)
Modelling accuracy and trustworthiness of explaining agents ⋮ Model checking interval temporal logics with regular expressions ⋮ Reasoning about graded strategy quantifiers ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Populational announcement logic (PPAL) ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Producing explanations for rich logics ⋮ A Framework for Automatically Checking Anonymity with μCRL ⋮ Natural strategic ability ⋮ Approximate verification of strategic abilities under imperfect information
Uses Software
This page was built for publication: mcmas: A Model Checker for Multi-agent Systems
