Skip navigation
Skip navigation

Practical undoability checking via contingent planning

Daum, Jeanette; Torralba, Alvaro; Hoffmann, Jorg; Haslum, Patrik; Weber, Ingo


We consider a general concept of undoability, asking whether a given action can always be undone, no matter which state it is applied to. This generalizes previous concepts of invertibility, and is relevant for search as well as applications. Naïve undoability checking requires to enumerate all states an action is applicable to. Extending and operationalizing prior work in this direction, we introduce a compilation into contingent planning, replacing such enumeration by standard techniques...[Show more]

CollectionsANU Research Publications
Date published: 2016
Type: Conference paper
Source: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016)
Access Rights: Open Access


File Description SizeFormat Image
01_Daum_Practical_undoability_checking_2016.pdf537.34 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator