Reference : MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/45853
MsATL: a Tool for SAT-Based ATL Satisfiability Checking
English
Niewiadomski, Artur []
Kacprzak, Magdalena []
Kurpiewski, Damian []
Knapik, Michał []
Penczek, Wojciech []
Jamroga, Wojciech mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA >]
2020
Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
Yes
International
978-1-4503-7518-4
19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
9-13 May 2020
[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.
Researchers
http://hdl.handle.net/10993/45853
http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p2111.pdf
FnR ; FNR12685695 > Peter Y. A. Ryan > STV > Socio-technical Verification Of Information Security And Trust In Voting Systems > 01/09/2019 > 31/08/2022 > 2018

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
msatatl20aamas[1].pdfAuthor preprint604.19 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.