Daniël Vos, Anna Lukina. Faster Optimization of Decision Tree Policies for Markov Decision Processes. In Guy Avni, Christian Schilling 0001, editors, AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings. Volume 16831 of Lecture Notes in Computer Science, pages 254-270, Springer, 2026. [doi]
Abstract is missing.