MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Abstract elided by the publisher.
Related papers
- MCMAS: A Model Checker for Multi-agent Systems TACAS 2006
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol CAV 2019
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019