Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman. Strategy Representation by Decision Trees with Linear Classifiers. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 109-128, Springer, 2019. [doi]
Abstract is missing.