MCMAS: A Model Checker for Multi-agent Systems
No abstract available.
Related papers
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems CAV 2009
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol CAV 2019
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- Model Checking Multi-Agent Programs with CASP CAV 2003
- Reachability in Multi-agent Transfer Systems VMCAI 2026