Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

2009 ◽  
Vol 31 (2) ◽  
pp. 245-252 ◽  
Author(s):  
Li-Jun WU ◽  
Jin-Shu SU ◽  
Kai-Le SU
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Multi Agent System ◽  
Agent System ◽  
Symbolic Model ◽  
Multi Agent

scholarly journals Unbounded Model Checking for ATL

2021 ◽  
Author(s):  
Michał Kański ◽  
Artur Niewiadomski ◽  
Magdalena Kacprzak ◽  
Wojciech Penczek ◽  
Wojciech Nabiałek
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Symbolic Model Checking ◽  
Experimental Results ◽  
Multi Agent Systems ◽  
Symbolic Model ◽  
Agent Systems ◽  
Multi Agent

In this paper, we deal with verification of multi-agent systems represented as concurrent game structures. To express properties to be verified, we use Alternating-Time Temporal Logic (ATL) formulas. We provide an implementation of symbolic model checking for ATL and preliminary, but encouraging experimental results.

Sign in / Sign up

Export Citation Format

Share Document