Using dtControl to process schedulersproduced by the Modest Toolset

The Modest Toolset is a tool that can analyse mod- els and produce schedulers based on these models. These schedulers, also known as controllers or strategies, repre- sent which action should be taken in a specific state in the model, to reach the optimal reward. When the mod- els get more complex, the resulting schedulers become too complex for humans to easily analyse them. To improve this, there are tools like dtControl, a toolset that pro- cesses schedulers using decision tree learning algorithms. We propose to use this dtControl to process schedulers produced by the Modest Toolset and evaluate the ef- fectiveness of this processing, to make analysis of these schedulers much easier.