On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena. - Lukás Chrpa; Martin Pilát; Jakub Med (KR, 2021)

On Speeding Up Methods for Identifying Redundant Actions in Plans. - Jakub Med; Lukás Chrpa (ICAPS, 2022)

Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. - Jakub Med; Lukás Chrpa; Michael Morak; Wolfgang Faber 001 (ICAPS, 2024)