dtControl
dtControl is a tool for compressing memoryless controllers, e.g. arising out of automatic controller synthesis of cyber-physical systems (CPS) or probabilistic model checking. dtControl takes as input a controller synthesised by various formal verification tools and represents them in the form of decision trees.
You can find more information here.
For the version dtControl+ɛ, which represents aims to reduce the size of the decision tree by representing controllers ɛ-close to the optimal controller, please check out the Gitlab page.
Team
Research Area
Explaining Controllers via Decision Trees
We develop methods for explaining controllers with decision trees.