Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Knapik, Michał"'
Autor:
Niewiadomski, Artur, Kacprzak, Magdalena, Kurpiewski, Damian, Knapik, Michał, Penczek, Wojciech, Jamroga, Wojciech
Publikováno v:
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020, 2111--2113
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 d
Externí odkaz:
http://arxiv.org/abs/2310.16519
Autor:
Belardinelli, Francesco, Condurache, Rodica, Dima, Catalin, Jamroga, Wojciech, Knapik, Michal
We propose a notion of alternating bisimulation for strategic abilities under imperfect information. The bisimulation preserves formulas of ATL$^*$ for both the {\em objective} and {\em subjective} variants of the state-based semantics with imperfect
Externí odkaz:
http://arxiv.org/abs/2203.13692
Autor:
Petrucci, Laure, Knapik, Michał
We investigate networks of automata that synchronise over common action labels. A graph synchronisation topology between the automata is defined in such a way that two automata are connected iff they can synchronise over an action. We show a very eff
Externí odkaz:
http://arxiv.org/abs/2012.04739
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency, volume 14, pages 64-100, November 2019
This paper constitutes a short introduction to parametric verification of concurrent systems. It originates from two 1-day tutorial sessions held at the Petri nets conferences in Toru\'n (2016) and Zaragoza (2017). The paper presents not only the bas
Externí odkaz:
http://arxiv.org/abs/1907.00555
Model checking of strategic ability under imperfect information is known to be hard. The complexity results range from NP-completeness to undecidability, depending on the precise setup of the problem. No less importantly, fixpoint equivalences do not
Externí odkaz:
http://arxiv.org/abs/1612.02684
Autor:
Belardinelli, Francesco, Condurache, Rodica, Dima, Cătălin, Jamroga, Wojciech, Knapik, Michal
Publikováno v:
In Information and Computation February 2021 276
Autor:
Borda, Michał, Knapik, Michał
Publikováno v:
Studia Edukacyjne / Educational Studies. (61):145-158
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1125824
Alternating-time temporal logic (ATL) allows to specify requirements on abilities that different agents should (or should not) possess in a multi-agent system. However, model checking ATL specifications in realistic systems is computationally hard. I
Externí odkaz:
http://arxiv.org/abs/1510.06587
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Artificial Intelligence December 2019 277