Viktor Toman
Identifiers
No identifiers captured yet.
Papers (3)
- Strategy Representation by Decision Trees with Linear Classifiers cs.LO · 2019 · author #6
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives cs.DS · 2018 · author #5
- Strategy Representation by Decision Trees in Reactive Synthesis cs.LO · 2018 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Krishnendu Chatterjee 3 shared papers
- Jan K\v{r}et\'insk\'y 2 shared papers
- Tom\'a\v{s} Br\'azdil 2 shared papers
- Christoph H. Lampert 1 shared papers
- Monika Henzinger 1 shared papers
- Pranav Ashok 1 shared papers
- Simin Oraee 1 shared papers
- Veronika Loitzenbauer 1 shared papers