Ond\v{r}ej Sl\'ame\v{c}ka

Identifiers

No identifiers captured yet.

Papers (1)

1. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes cs.LO · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan K\v{r}et\'insk\'y 1 shared papers
• Pranav Ashok 1 shared papers
• Tom\'a\v{s} Br\'azdil 1 shared papers