Krishnendu Chatterjee

Latest

• The reads-from equivalence for the TSO and PSO memory models
• Stateless Model Checking Under a Reads-Value-From Equivalence
• Value-centric Dynamic Partial Order Reduction
• Strategy Representation by Decision Trees with Linear Classifiers
• Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
• Strategy Representation by Decision Trees in Reactive Synthesis