Practical Undoability Checking via Contingent Planning

Jeanette Daum, Álvaro Torralba, Jörg Hoffmann 0001, Patrik Haslum, Ingo Weber. Practical Undoability Checking via Contingent Planning. In Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner, editors, Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. pages 106-114, AAAI Press, 2016. [doi]

Abstract

Abstract is missing.