Model Checking Multi-Agent Programs with CASP
Abstract elided by the publisher.
Related papers
- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol CAV 2019
- MCMAS: A Model Checker for Multi-agent Systems TACAS 2006
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems CAV 2009
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Model Checking Agent Knowledge in Dynamic Access Control Policies TACAS 2013
- Multi-Stage Vertex-Centric Programming for Agent-Based Simulations GPCE 2023