Ondrej Slámecka

According to our database, Ondrej Slámecka authored at least 2 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2018

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.

Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2015

Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs.

Petr Hlinený, Ondrej Slámecka

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2015