Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach

Abstract

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.

https://doi.org/10.34739/si.2021.25.01
PDF File