Ashok, Pranav, Tomás Brázdil, Krishnendu Chatterjee, Jan Ketínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.”https://doi.org/10.1007/978-3-030-30281-8_7__In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-30281-8_7 .