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 ![]() | |
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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.