VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems

arXiv:2403.02170 · cs.MA, cs.LO, cs.SE · Submitted 2024-03-04 · Read on arXiv

cs.MA, cs.LO, cs.SE

Submitted: 2024-03-04

Updated: 2025-03-13

Terminology

• Verification — 3× in this paper · explained in 2 episodes
• Multi-Agent System — 2× in this paper · explained in 7 episodes
• Multi-Agent Systems — 2× in this paper
• Compositionality — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes

Related papers

• Highway Congestion Reduction through Reinforcement Learning Based Eulerian Headway Control
• Temporal Fair Division in Multi-Agent Systems: From Precise Alternation Metrics to Scalable Coordination Proxies
• Auditable and Deployable Multi-Agent Motion Planning via Posetal Games from Legal Guidelines
• ORACLE-SWE: Quantifying the Contribution of Critical Information Signals on SWE Agents
• You Only Align Once: Propagating Cooperative Behaviors in Multi-Agent Systems through Seed Agents
• Deny Without Disabling: Authorization-Paired Evaluation and Control for Multi-Agent Systems