Ondrej Slámecka

According to our database1, 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


  Loading...