Unbounded Model Checking for ATL
Keyword(s):
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.
Keyword(s):
2014 ◽
Vol 161
◽
pp. 1-1
Keyword(s):
2020 ◽
Vol 34
(05)
◽
pp. 7071-7078
Keyword(s):
Keyword(s):
Keyword(s):
2009 ◽
Vol 31
(2)
◽
pp. 245-252
◽
Keyword(s):
Keyword(s):
Keyword(s):