LiVe Lab: Explaining Controllers via Decision Trees

Represent controllers as decision trees. Improve memory footprint, boost explainability while preserving guarantees.

2023	Algebraically explainable controllers: decision trees and support vector machines join forces Florian Jüngermann, Jan Křetínský, Maximilian Weininger
2022	Planning via model checking with decision-tree controllers Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Křetínský 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022

Explaining Controllers via Decision Trees