Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. - Krishnendu Chatterjee; Monika Henzinger; Veronika Loitzenbauer; Simin Oraee; Viktor Toman (CAV (2), 2018)

Strategy Representation by Decision Trees in Reactive Synthesis. - Tomás Brázdil; Krishnendu Chatterjee; Jan Kretínský; Viktor Toman (TACAS (1), 2018)

Strategy Representation by Decision Trees with Linear Classifiers. - Pranav Ashok; Tomás Brázdil; Krishnendu Chatterjee; Jan Kretínský; Christoph H. Lampert; Viktor Toman (QEST, 2019)

Value-centric dynamic partial order reduction. - Krishnendu Chatterjee; Andreas Pavlogiannis; Viktor Toman (Proc. ACM Program. Lang., 2019)

Stateless Model Checking Under a Reads-Value-From Equivalence. - Pratyush Agarwal; Krishnendu Chatterjee; Shreya Pathak; Andreas Pavlogiannis; Viktor Toman (CAV (1), 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)