Viktor Toman

According to our database, Viktor Toman authored at least 6 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

The reads-from equivalence for the TSO and PSO memory models.

Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman

Proc. ACM Program. Lang., 2021

Stateless Model Checking Under a Reads-Value-From Equivalence.

Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Value-centric dynamic partial order reduction.

Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman

Proc. ACM Program. Lang., 2019

Strategy Representation by Decision Trees with Linear Classifiers.

Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Strategy Representation by Decision Trees in Reactive Synthesis.

Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives.

Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman

Proceedings of the Computer Aided Verification - 30th International Conference, 2018