Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. - Petr Hlinený; Ondrej Slámecka (MEMICS, 2015)

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. - Pranav Ashok; Tomás Brázdil; Jan Kretínský; Ondrej Slámecka (ISoLA (2), 2018)