Publications

Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman (2021). The reads-from equivalence for the TSO and PSO memory models. OOPSLA – Object-Oriented Programming, Systems, Languages and Applications.

PDF DOI

Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman (2021). Stateless Model Checking Under a Reads-Value-From Equivalence. CAV – Computer Aided Verification.

PDF DOI

Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman (2019). Value-centric Dynamic Partial Order Reduction. OOPSLA – Object-Oriented Programming, Systems, Languages and Applications.

PDF DOI

Pranav Ashok, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph H. Lampert, Viktor Toman (2019). Strategy Representation by Decision Trees with Linear Classifiers. QEST – Quantitative Evaluation of Systems.

PDF DOI

Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman (2018). Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CAV – Computer Aided Verification.

PDF DOI

Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Viktor Toman (2018). Strategy Representation by Decision Trees in Reactive Synthesis. TACAS – Tools and Algorithms for the Construction and Analysis of Systems.

PDF DOI