Teofil Sidoruk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAART | Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. | Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2024 | PPDP | Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. | Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2023 | ICAART | Towards Modelling and Verification of Social Explainable AI. | Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk |
| 2022 | AiML | 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 |
| 2022 | ICECCS | Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. | Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
| 2021 | KR | Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
| 2020 | ICFEM | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. | Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga |
| 2019 | ICECCS | Squeezing State Spaces of (Attack-Defence) Trees. | Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |