Výpis publikací

ASHOK, Pranav, Tomáš BRÁZDIL, Jan KŘETÍNSKÝ a Ondřej SLÁMEČKA. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. In Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Cham: Springer, 2018, s. 322-335. ISBN 978-3-030-03420-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-03421-4_21.

HLINĚNÝ, Petr a Ondřej SLÁMEČKA. Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. In Jan Kofroň, Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548. Switzerland: Springer, 2016, s. 54-66. ISBN 978-3-319-29816-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-29817-7_6.