| Autor: |
Niewiadomski, Artur, Kacprzak, Magdalena, Kurpiewski, Damian, Knapik, Michał, Penczek, Wojciech, Jamroga, Wojciech |
| Rok vydání: |
2023 |
| Předmět: |
|
| Zdroj: |
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020, 2111--2113 |
| Druh dokumentu: |
Working Paper |
| DOI: |
10.5555/3398761.3399092 |
| Popis: |
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 solvers with existing ATL model checkers: MCMAS and STV. The tool can deal with various semantics of ATL, including perfect and imperfect 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. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
