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

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

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