Viktor Toman
Viktor Toman
IST Austria
Verified email at ist.ac.at - Homepage
Title
Cited by
Cited by
Year
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
162018
Learning to reason in large theories without imitation
K Bansal, SM Loos, MN Rabe, C Szegedy
arXiv preprint arXiv:1905.10501, 2019
102019
Strategy Representation by Decision Trees with Linear Classifiers
P Ashok, T Brázdil, K Chatterjee, J Křetínský, CH Lampert, V Toman
International Conference on Quantitative Evaluation of Systems, 109-128, 2019
62019
Value-centric dynamic partial order reduction
K Chatterjee, A Pavlogiannis, V Toman
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 124, 2019
52019
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K Chatterjee, M Henzinger, V Loitzenbauer, S Oraee, V Toman
International Conference on Computer Aided Verification, 178-197, 2018
52018
Parallel calls of SMT solvers in Bugst
V Toman
Bachelor’s thesis, Masaryk University Brno, 2014
12014
The Reads-From Equivalence for the TSO and PSO Memory Models
TL Bui, K Chatterjee, T Gautam, A Pavlogiannis, V Toman
arXiv preprint arXiv:2011.11763, 2020
2020
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–8