dtControl

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

Artifact Evaluation Resources

Here we give the resources for all artifact evaluation or repeatability evaluation processes dtControl has undergone:

HSCC2020 (publication “dtControl: Decision Tree Learning Algorithms for Controller Representation”)
QEST2020 (tool demonstration without associated publication)
TACAS2021 (publication “dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts”