MsATL: a Tool for SAT-Based ATL Satisfiability Checking

Reference : MsATL: a Tool for SAT-Based ATL Satisfiability Checking


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/45853

Title :	MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Language :	English
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 >]
Publication date :	2020
Main document title :	Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-4503-7518-4
Event name :	19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020
Event date :	9-13 May 2020
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.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/45853
Other URL :	http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p2111.pdf
FnR project :	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):

	File	Commentary	Version	Size	Access
Open access	msatatl20aamas[1].pdf		Author preprint	604.19 kB	View/Open

All documents in ORBi^lu are protected by a user license.