# Ondrej Slámecka

According to our database

Collaborative distances:

^{1}, Ondrej Slámecka authored at least 3 papers between 2015 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

CoRR, 2018

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

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

2015

Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs.

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