Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity - Jakub Med; Lukás Chrpa; Michael Morak; Wolfgang Faber (Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024, 2024)

On Speeding Up Methods for Identifying Redundant Actions in Plans - Jakub Med; Lukás Chrpa (Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, 2022)

On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena - Lukás Chrpa; Martin Pilát; Jakub Med (Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021, 2021)