A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. - Rupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani (CAV (3), 2023)

Poster Abstract: A Toolchain for Accelerated Symbolic Control. - Rupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani (HSCC, 2023)

Dynamic Data Structures for Parameterized String Problems. - Jedrzej Olkowski; Michal Pilipczuk; Mateusz Rychlicki; Karol Wegrzycki; Anna Zych-Pawlewicz (STACS, 2023)

A General Theoretical Framework for Learning Smallest Interpretable Models. - Sebastian Ordyniak; Giacomo Paesani; Mateusz Rychlicki; Stefan Szeider (AAAI, 2024)

A Tight Subexponential-Time Algorithm for Two-Page Book Embedding. - Robert Ganian; Haiko Müller; Sebastian Ordyniak; Giacomo Paesani; Mateusz Rychlicki (ICALP, 2024)

Solving Quantified Boolean Formulas with Few Existential Variables. - Leif Eriksson; Victor Lagerkvist; Sebastian Ordyniak; George Osipov; Fahad Panolan; Mateusz Rychlicki (IJCAI, 2024)

Explaining Decisions in ML Models: A Parameterized Complexity Analysis. - Sebastian Ordyniak; Giacomo Paesani; Mateusz Rychlicki; Stefan Szeider (KR, 2024)

Covering and Partitioning of Split, Chain and Cographs with Isometric Paths. - Dibyayan Chakraborty; Haiko Müller; Sebastian Ordyniak; Fahad Panolan; Mateusz Rychlicki (MFCS, 2024)