Zobrazeno 1 - 10
of 557
pro vyhledávání: '"P A, Penczek"'
Autor:
Gurov, Dilian, Jamroga, Filip, Jamroga, Wojciech, Kamiński, Mateusz, Kurpiewski, Damian, Penczek, Wojciech, Sidoruk, Teofil
Model checking of strategic abilities for agents with memory is a notoriously hard problem, and very few attempts have been made to tackle it. In this paper, we present two important steps towards this goal. First, we take the partial-order reduction
Externí odkaz:
http://arxiv.org/abs/2412.06706
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
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
Autor:
Arias, Jaime, Olarte, Carlos, Petrucci, Laure, Maśko, Łukasz, Penczek, Wojciech, Sidoruk, Teofil
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
http://arxiv.org/abs/2305.04616
We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networ
Externí odkaz:
http://arxiv.org/abs/2302.13405
Autor:
Robert Stala, Szymon Folmer, Zbigniew Waradzyn, Adam Penczek, Stanislaw Pirog, Aleksander Skala, Andrzej Mondzik, Krishna Kumar Gupta, Pallavee Bhatnagar, Sanjay K. Jain
Publikováno v:
IEEE Access, Vol 12, Pp 120524-120542 (2024)
This paper presents a novel concept of a DC-AC converter that ensures AC voltage modulation on four levels using a single branch and achieves voltage boosting. The proposed boost inverter is based on a single-stage topology and does not use a DC-DC b
Externí odkaz:
https://doaj.org/article/afa11aac86714c0d9bbabb9582f95180
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
http://arxiv.org/abs/2101.06838
Autor:
Mateusz Penczek
Publikováno v:
Analiza i Egzystencja, Vol 67 (2024)
The purpose of the article is to analyze the relational theory of personal autonomy proposed by Catriona Mackenzie. First, the theoretical context of the theory is shown, including key features and examples of relational theories of personal autonomy
Externí odkaz:
https://doaj.org/article/61c7a0d67d4e42e296edcb5c2e7fdf51
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems, together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed systems.
Externí odkaz:
http://arxiv.org/abs/2003.03867