Get started
Author

Viktor Toman

Observed name: Toman, Viktor
ORCID: 0000-0001-9036-063X
Observed ORCID: 0000-0001-9036-063X
OpenAlex ID: A5085914523
Stateless Model Checking Under a Reads-Value-From Equivalence
2021 · Pratyush Agarwal, Krishnendu Chatterjee, et al. · Lecture notes in computer science · 26
PDF
Value-centric dynamic partial order reduction
2019 · Krishnendu Chatterjee, Andreas Pavlogiannis, et al. · Proceedings of the ACM on Programming Languages · 23
PDF
Learning to Reason in Large Theories without Imitation
2019 · Bansal, Kshitij, Szegedy, Christian, et al. · arXiv (Cornell University) · 23
PDF
Strategy Representation by Decision Trees in Reactive Synthesis
2018 · Tomáš Brázdil, Krishnendu Chatterjee, et al. · Lecture notes in computer science · 21
PDF
The reads-from equivalence for the TSO and PSO memory models
2021 · Truc Lam Bui, Krishnendu Chatterjee, et al. · Proceedings of the ACM on Programming Languages · 13
PDF
Strategy Representation by Decision Trees with Linear Classifiers
2019 · Pranav Ashok, Tomáš Brázdil, et al. · Lecture notes in computer science · 13
PDF
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
2018 · Krishnendu Chatterjee, Monika Henzinger, et al. · Lecture notes in computer science · 7
PDF
Efektivní reprezentace strategií pro hry dvou hráčů na grafech
2016 · Viktor Toman
Works count: 11
Citation count: 127
H-index: 7
I10-index: 6
Year
Topic
Type