Paper published in a book (Scientific congresses, symposiums and conference proceedings)
MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Niewiadomski, Artur; Kacprzak, Magdalena; Kurpiewski, Damian et al.
2020In Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
Peer reviewed
 

Files


Full Text
msatatl20aamas[1].pdf
Author preprint (618.69 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] We present MsATL: the first tool for deciding the satisfiability of Alternating-time Temporal Logic ( ATL ) with imperfect informa- tion. MsATL combines SAT Modulo Monotonic Theories solvers with existing ATL model checkers: MCMAS and STV. The tool can deal with various semantics of ATL , including perfect and imper- fect information, and can handle additional practical requirements. MsATL can be applied for synthesis of games that conform to a given specification, with the synthesised game often being minimal.
Disciplines :
Computer science
Author, co-author :
Niewiadomski, Artur
Kacprzak, Magdalena
Kurpiewski, Damian
Knapik, Michał
Penczek, Wojciech
Jamroga, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA
External co-authors :
yes
Language :
English
Title :
MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Publication date :
2020
Event name :
19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
Event date :
9-13 May 2020
Audience :
International
Main work title :
Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
ISBN/EAN :
978-1-4503-7518-4
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan
Available on ORBilu :
since 24 January 2021

Statistics


Number of views
78 (17 by Unilu)
Number of downloads
56 (5 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu