Author of the publication

Strategy Representation by Decision Trees with Linear Classifiers.

, , , , , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 109-128. Springer, (2019)

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

Pushdown reachability with constant treewidth., and . Inf. Process. Lett., (2017)Sensor Synthesis for POMDPs with Reachability Objectives., , and . ICAPS, page 47-55. AAAI Press, (2018)Graph Planning with Expected Finite Horizon., and . CoRR, (2018)Qualitative concurrent parity games., , and . ACM Trans. Comput. Log., 12 (4): 28:1-28:51 (2011)Quantitative languages., , and . ACM Trans. Comput. Log., 11 (4): 23:1-23:38 (2010)Qualitative Analysis of Partially-Observable Markov Decision Processes., , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 258-269. Springer, (2010)Robust Draws in Balanced Knockout Tournaments., , and . IJCAI, page 172-179. IJCAI/AAAI Press, (2016)Trading Infinite Memory for Uniform Randomness in Timed Games., , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 87-100. Springer, (2008)Timed Parity Games: Complexity and Robustness., , and . FORMATS, volume 5215 of Lecture Notes in Computer Science, page 124-140. Springer, (2008)Synthesizing Protocols for Digital Contract Signing., and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 152-168. Springer, (2012)