Ondrej Slámecka

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Markov Decision Processes

Reinforcement Learning Methods

Monte Carlo Tree Search

Top Venues

Publications

Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. ISoLA (2) (2018)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. CoRR (2018)
Petr Hlinený, Ondrej Slámecka
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. MEMICS (2015)