Program
Verification
Book

PV1 ⊧ dtControlvisualises a previously synthesised controller

Application domain/field

Controller/strategy/policy/scheduler
Controller synthesis
Decision trees
Explainable learning

Expected input

Synthesized controller

Format:

SCOTS, Uppaal Stratego, PRISM or Storm

Expected output

Decision tree that represents the controller

Links

Project page: https://dtcontrol.model.in.tum.de/
Repository: https://gitlab.lrz.de/i7/dtcontrol
- Last commit date: 20 November 2021

Related papers

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS '21)
dtControl (HSCC '20)

Last publication date

23 March 2021

ProVerB specific

Markdown description: view/edit
Reason for this entry: TACAS 2021
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.