Výpis publikací

ASHOK, Pranav; Tomáš BRÁZDIL; Krishnendu CHATTERJEE; Jan KŘETÍNSKÝ; Christoph LAMPERT a Viktor TOMAN. Strategy Representation by Decision Trees with Linear Classifiers. In Quantitative Evaluation of Systems (QEST 2019). Cham: Springer, 2019, s. 109-128. ISBN 978-3-030-30280-1. Dostupné z: https://doi.org/10.1007/978-3-030-30281-8_7.

BRÁZDIL, Tomáš; Krishnendu CHATTERJEE; Jan KŘETÍNSKÝ a Viktor TOMAN. Strategy Representation by Decision Trees in Reactive Synthesis. In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Cham: Springer, 2018, s. 385-407. ISBN 978-3-319-89959-6. Dostupné z: https://doi.org/10.1007/978-3-319-89960-2_21.