- Tytuł:
- Unbounded Model Checking for ATL
- Autorzy:
-
Kański, Michał
Niewiadomski, Artur
Kacprzak, Magdalena
Penczek, Wojciech
Nabiałek, Wojciech - Powiązania:
- https://bibliotekanauki.pl/articles/2175150.pdf
- Data publikacji:
- 2021
- Wydawca:
- Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
- Tematy:
-
ATL
temporal logics
model checking
SAT
SMT
QBF - Opis:
- 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.
- Źródło:
-
Studia Informatica : systems and information technology; 2021, 1-2(25); 5--22
1731-2264 - Pojawia się w:
- Studia Informatica : systems and information technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł