Viktor Toman

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 12

Top Topics

Linear Classifiers

Partial Order Reduction

Top Venues

Proc. ACM Program. Lang.

Publications

Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Stateless Model Checking under a Reads-Value-From Equivalence. CoRR (2021)
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Stateless Model Checking Under a Reads-Value-From Equivalence. CAV (1) (2021)
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The reads-from equivalence for the TSO and PSO memory models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR (2020)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. QEST (2019)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. CoRR (2019)
Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
Value-centric dynamic partial order reduction. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
Value-centric Dynamic Partial Order Reduction. CoRR (2019)
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CoRR (2018)
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) (2018)
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
Strategy Representation by Decision Trees in Reactive Synthesis. CoRR (2018)
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CAV (2) (2018)