Teofil Sidoruk

According to our database, Teofil Sidoruk authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models.

Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

IEEE Trans. Reliab., June, 2024

Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.

Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2023

Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.

Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

CoRR, 2023

Towards Modelling and Verification of Social Explainable AI.

Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Strategic (Timed) Computation Tree Logic.

Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.

Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Verification of Multi-Agent Properties in Electronic Voting: A Case Study.

Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.

Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

CoRR, 2021

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Strategic Abilities of Asynchronous Agents: Semantic Side Effects.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

ADT2AMAS: Managing Agents in Attack-Defence Scenarios.

Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Towards Partial Order Reductions for Strategic Ability.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz

J. Artif. Intell. Res., 2020

Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk

CoRR, 2020

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Applying Modern SAT-solvers to Solving Hard Problems.

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek

Fundam. Informaticae, 2019

Squeezing State Spaces of (Attack-Defence) Trees.

Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek

Sci. Ann. Comput. Sci., 2018

Investigating Characteristics and Differences Between Easy and Hard SAT Instances.

Teofil Sidoruk

Proceedings of the 27th International Workshop on Concurrency, 2018