Teofil Sidoruk

28 papers A* 1A 4B 3C 2Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
IMITATOR4AMAS: Strategy Synthesis for STCTL.
CoRR
Davide Catta, Adrien Lacroix, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2026 J jnl
Strategic (timed) computation tree logic.
Auton. Agents Multi Agent Syst.
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2026 J jnl
Towards Probabilistic Strategic Timed CTL.
CoRR
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025 J jnl
Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic.
CoRR
Damian Kurpiewski, Jedrzej Michalczyk, Wojciech Jamroga, Jerzy Julian Michalski, Teofil Sidoruk
2025 A conf
Probabilistic Timed ATL.
AAMAS
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025 — conf
Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR.
ICAART (1)
Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2024 J jnl
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies.
CoRR
Dilian Gurov, Filip Jamroga, Wojciech Jamroga, Mateusz Kaminski, Damian Kurpiewski, Wojciech Penczek, Teofil Sidoruk
2024 C conf
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.
PPDP
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2024 J jnl
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models.
IEEE Trans. Reliab.
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2023 J jnl
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.
CoRR
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2023 A conf
Strategic (Timed) Computation Tree Logic.
AAMAS
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2023 J jnl
Strategic (Timed) Computation Tree Logic.
CoRR
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2023 — conf
Towards Modelling and Verification of Social Explainable AI.
ICAART (1)
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
2023 J jnl
Towards Modelling and Verification of Social Explainable AI.
CoRR
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
2023 J jnl
Verification of Multi-Agent Properties in Electronic Voting: A Case Study.
CoRR
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
2022 B conf
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.
ICECCS
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2022 B conf
Verification of Multi-Agent Properties in Electronic Voting: A Case Study.
AiML
Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
2021 A conf
ADT2AMAS: Managing Agents in Attack-Defence Scenarios.
AAMAS
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2021 J jnl
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.
CoRR
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2021 A* conf
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them.
KR
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
2021 A conf
Strategic Abilities of Asynchronous Agents: Semantic Side Effects.
AAMAS
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
2020 C conf
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.
ICFEM
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
2020 J jnl
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them.
CoRR
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
2020 J jnl
Towards Partial Order Reductions for Strategic Ability.
J. Artif. Intell. Res.
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
2019 J jnl
Applying Modern SAT-solvers to Solving Hard Problems.
Fundam. Informaticae
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek
2019 B conf
Squeezing State Spaces of (Attack-Defence) Trees.
ICECCS
Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk
2018 — conf
Investigating Characteristics and Differences Between Easy and Hard SAT Instances.
CS&P
Teofil Sidoruk
2018 J jnl
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.
Sci. Ann. Comput. Sci.
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek