Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces., , and . CoRR, (2022)PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 497-519. Springer, (2019)dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts., , , , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 326-345. Springer, (2021)Automata Tutor v3., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (2020)Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games., , , and . CDC, page 3786-3793. IEEE, (2021)Algebraically explainable controllers: decision trees and support vector machines join forces., , and . Int. J. Softw. Tools Technol. Transf., 25 (3): 249-266 (June 2023)Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)., and . CoRR, (2021)dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , and . CoRR, (2020)Index appearance record with preorders., , , and . Acta Informatica, 59 (5): 585-618 (2022)Optimistic and Topological Value Iteration for Simple Stochastic Games., , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 285-302. Springer, (2022)