Seegebarth B, Müller F, Schattenberg B, Biundo S. Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. ICAPS [Internet]. 2012May14 [cited 2024May4];22(1):225-33. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13503