Bastian Seegebarth, Felix Müller, Bernd Schattenberg, Susanne Biundo. Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. In Lee McCluskey, Brian Williams, José Reinaldo Silva, Blai Bonet, editors, Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012. AAAI, 2012. [doi]
Abstract is missing.