dtControl.md

Name:

dtControl

Application domain/field:

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

Type of tool (e.g. model checker, test generator):

?

Expected input thing:

Synthesized controller

Expected input format:

[[SCOTS]], [[Uppaal Stratego]], PRISM or Storm

Expected output:

Decision tree that represents the controller

Internals (tools used, frameworks, techniques, paradigms, ...):

Comments:

URIs (github, websites, etc.):

Project page: https://dtcontrol.model.in.tum.de/ Repository: https://gitlab.lrz.de/i7/dtcontrol

Last commit date:

20 November 2021

Last publication date:

23 March 2021

List of related papers:

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

Related tools (tools mentioned or compared to in the paper):

Meta

:: PV1 :: visualises a previously synthesised controller :: Source :: https://doi.org/10.1007/978-3-030-72013-1 :: https://doi.org/10.1145/3550355.3552426