Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski +3
We present MsATL: the first tool for deciding the satisfiability of Alternating-time Temporal Logic (ATL) with imperfect information. MsATL combines SAT Modulo Monotonic Theories s…
cs.LO2020
SAT-Based ATL Satisfiability Checking
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
Synthesis of models and strategies is a very important problem in software engineering. The main element here is checking the satisfiability of formulae expressing the specificatio…