Zobrazeno 1 - 10
of 925
pro vyhledávání: '"P, 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
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
Synthesis of models and strategies is a very important problem in software engineering. The main element here is checking the satisfiability of formulae expressing the specification of a system to be implemented. This paper puts forward a novel metho
Externí odkaz:
http://arxiv.org/abs/2002.03117