Practical Model Reductions for Verification of Multi-Agent Systems

TL;DR

This paper introduces a practical, agent-based state abstraction tool that simplifies the formal verification process of multi-agent systems by reducing state-space complexity, making it accessible to non-experts.

Contribution

It presents a novel, easy-to-use abstraction method that operates modularly on agent representations, improving verification efficiency for multi-agent systems.

Findings

Reduces state-space explosion in multi-agent system verification

Operates on modular agent representations rather than explicit models

Accessible to non-expert users

Abstract

Formal verification of intelligent agents is often computationally infeasible due to state-space explosion. We present a tool for reducing the impact of the explosion by means of state abstraction that is (a) easy to use and understand by non-experts, and (b) agent-based in the sense that it operates on a modular representation of the system, rather than on its huge explicit state model.