Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Kurpiewski, Damian"'
Publikováno v:
Fundam. Informaticae 175 (2020), p. 207--251
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distr
Externí odkaz:
http://arxiv.org/abs/2310.20344
Publikováno v:
AAMAS'21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021, 1770--1772
We present a substantially expanded version of our tool STV for strategy synthesis and verification of strategic abilities. The new version adds user-definable models and support for model reduction through partial order reduction and checking for bi
Externí odkaz:
http://arxiv.org/abs/2310.18418
Autor:
Jamroga, Wojciech, Kurpiewski, Damian
Publikováno v:
Lecture Notes in Computer Science 14282 (2023), 363--380
Synthesis of bulletproof strategies in imperfect information scenarios is a notoriously hard problem. In this paper, we suggest that it is sometimes a viable alternative to aim at "reasonably good" strategies instead. This makes sense not only when a
Externí odkaz:
http://arxiv.org/abs/2310.16531
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:
Kurpiewski, Damian, Jamroga, Wojciech, Maśko, Łukasz, Mikulski, Łukasz, Pazderski, Witold, Penczek, Wojciech, Sidoruk, Teofil
Publikováno v:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 531--556
Formal verification of multi-agent systems is hard, both theoretically and in practice. In particular, studies that use a single verification technique typically show limited efficiency, and allow to verify only toy examples. Here, we propose some ne
Externí odkaz:
http://arxiv.org/abs/2310.15789
Publikováno v:
21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022, 1702--1704
Formal verification of strategic abilities is a hard problem. We propose to use the methodology of assume-guarantee reasoning in order to facilitate model checking of alternating-time temporal logic with imperfect information and imperfect recall.
Externí odkaz:
http://arxiv.org/abs/2310.15727
Publikováno v:
Lecture Notes in Computer Science, 13753 (2022), 173--191
Model checking of strategic abilities is a notoriously hard problem, even more so in the realistic case of agents with imperfect information. Assume-guarantee reasoning can be of great help here, providing a way to decompose the complex problem into
Externí odkaz:
http://arxiv.org/abs/2310.15686
Social Explainable AI (SAI) is a new direction in artificial intelligence that emphasises decentralisation, transparency, social context, and focus on the human users. SAI research is still at an early stage. Consequently, it concentrates on deliveri
Externí odkaz:
http://arxiv.org/abs/2302.01063
We present a substantially expanded version of our tool STV for strategy synthesis and verification of strategic abilities. The new version provides a web interface and support for assume-guarantee verification of multi-agent systems.
Externí odkaz:
http://arxiv.org/abs/2203.01033
Security properties are often focused on the technological side of the system. One implicitly assumes that the users will behave in the right way to preserve the property at hand. In real life, this cannot be taken for granted. In particular, securit
Externí odkaz:
http://arxiv.org/abs/2007.12424