Follow
Viktor Toman
Viktor Toman
Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Learning to reason in large theories without imitation
K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman
arXiv preprint arXiv:1905.10501, 2019
392019
Value-centric dynamic partial order reduction
K Chatterjee, A Pavlogiannis, V Toman
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 124, 2019
302019
Strategy Representation by Decision Trees in Reactive Synthesis
T Brázdil, K Chatterjee, J Křetínský, V Toman
International Conference on Tools and Algorithms for the Construction and …, 2018
242018
Stateless model checking under a reads-value-from equivalence
P Agarwal, K Chatterjee, S Pathak, A Pavlogiannis, V Toman
International Conference on Computer Aided Verification, 341-366, 2021
182021
The reads-from equivalence for the TSO and PSO memory models
TL Bui, K Chatterjee, T Gautam, A Pavlogiannis, V Toman
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
112021
Strategy representation by decision trees with linear classifiers
P Ashok, T Brázdil, K Chatterjee, J Křetínský, CH Lampert, V Toman
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
112019
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K Chatterjee, M Henzinger, V Loitzenbauer, S Oraee, V Toman
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
112018
Parallel calls of SMT solvers in Bugst
V Toman
Bachelor’s thesis, Masaryk University Brno, 2014
12014
Improved verification techniques for concurrent systems
V Toman
PhD thesis, IST Austria, 2021
2021
Efficient Representation of Strategies in Two-Player Games on Graphs
V Toman
Master’s thesis, Masaryk University Brno, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–10