Krishnendu Chatterjee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
210
Venues
41
Active years
2003–2026
Best venue rank
A*
Where they publish
- A*CAV24 papers
- A*LICS23 papers
- BCONCUR19 papers
- A*AAAI12 papers
- ATACAS12 papers
- BMFCS12 papers
- A*ICALP10 papers
- BCSL10 papers
- BATVA9 papers
- A*SODA8 papers
- A*IJCAI7 papers
- BFOSSACS6 papers
- A*PLDI5 papers
- A*POPL5 papers
- AUAI4 papers
- A*PODC3 papers
- AESOP3 papers
- BVMCAI3 papers
- BLPAR3 papers
- CLATA3 papers
- BFM2 papers
- BOPODIS2 papers
- MulticonferenceSAC2 papers
- BAPLAS2 papers
- AESA2 papers
- BSAS2 papers
- BFCT2 papers
- ASTACS2 papers
- A*COLT1 paper
- A*ICML1 paper
- BNOMS1 paper
- AFC1 paper
- ACSCW1 paper
- AECAI1 paper
- A*ICRA1 paper
- ARTSS1 paper
- BFMCAD1 paper
- Journal PublishedEMSOFT1 paper
- BFASE1 paper
- A*CCS1 paper
- ADATE1 paper
Papers
210 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Qualitative Analysis of ω-Regular Objectives on Robust MDPs. | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee |
| 2026 | AAAI | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. | Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona |
| 2026 | COLT | Strongly Polynomial Time Complexity of Policy Iteration for L | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano |
| 2026 | CONCUR | PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance. | Ali Asadi, Krishnendu Chatterjee, Pavol Kebis |
| 2026 | CONCUR | A Look Back at Strategy Logic (Invited Contribution for the Test-of-Time Award). | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2025 | AAAI | Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic |
| 2025 | AAAI | Linear Equations with Min and Max Operators: Computational Complexity. | Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda |
| 2025 | ATVA | PolyQEnt: A Polynomial Quantified Entailment Solver. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2025 | ICALP | The Value Problem for Multiple-Environment MDPs with Parity Objective. | Krishnendu Chatterjee, Laurent Doyen, Jean-Franois Raskin, Ocan Sankur |
| 2025 | LICS | Multiplicative Rewards in Markovian Models. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2025 | LICS | Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. | Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger |
| 2025 | PODC | When is liquid democracy possible?: On the manipulation of variance. | Krishnendu Chatterjee, Seth Gilbert, Stefan Schmid, Jakub Svoboda, Michelle Yeo |
| 2025 | UAI | Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes. | Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij |
| 2025 | UAI | Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete. | Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee |
| 2025 | TACAS | Refuting Equivalence in Probabilistic Programs with Conditioning. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2025 | TACAS | Value Iteration with Guessing for Markov Chains and Markov Decision Processes. | Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda |
| 2025 | TACAS | Fixed Point Certificates for Reachability and Expected Rewards in MDPs. | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken |
| 2024 | FM | Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
| 2024 | ICML | Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. | Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee |
| 2024 | IJCAI | Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2024 | IJCAI | Solving Long-run Average Reward Robust MDPs via Stochastic Games. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotn, Dorde Zikelic |
| 2024 | LICS | Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. | Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta |
| 2024 | NOMS | Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm. | Esra Ceylan, Krishnendu Chatterjee, Stefan Schmid, Jakub Svoboda |
| 2024 | PODC | Game Dynamics and Equilibrium Computation in the Population Protocol Model. | Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld |
| 2024 | PODC | Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. | Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic |
| 2023 | AAAI | Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. | Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus |
| 2023 | AAAI | Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. | Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee |
| 2023 | ATVA | Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. | Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2023 | CAV | MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2023 | CAV | Automated Tail Bound Analysis for Probabilistic Recurrence Relations. | Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2023 | FC | R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. | Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo |
| 2023 | MFCS | Entropic Risk for Turn-Based Stochastic Games. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2023 | OPODIS | On the Convergence Time in Graphical Games: A Locality-Sensitive Approach. | Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid |
| 2023 | SODA | Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. | Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda |
| 2023 | TACAS | A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. | Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2022 | AAAI | Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. | Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger |
| 2022 | CAV | Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic |
| 2021 | CAV | Stateless Model Checking Under a Reads-Value-From Equivalence. | Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman |
| 2021 | FM | On Lexicographic Proof Rules for Probabilistic Termination. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Jiri Zrevcky, Dorde Zikelic |
| 2021 | ICALP | Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. | Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil |
| 2021 | IJCAI | Solving Partially Observable Stochastic Shortest-Path Games. | Petr Tomsek, Karel Hork, Aditya Aradhye, Branislav Bosansk, Krishnendu Chatterjee |
| 2021 | LICS | Stochastic Processes with Expected Stopping Time. | Krishnendu Chatterjee, Laurent Doyen |
| 2021 | LICS | Symbolic Time and Space Tradeoffs for Probabilistic Verification. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2021 | PLDI | Polynomial reachability witnesses via Stellenstze. | Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi |
| 2021 | PLDI | Proving non-termination by program reversal. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2021 | PLDI | Quantitative analysis of assertion violations in probabilistic programs. | Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2021 | TACAS | On Satisficing in Quantitative Games. | Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi |
| 2020 | AAAI | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Petr Novotn, Jiri Vahala |
| 2020 | ATVA | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. | Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
| 2020 | CAV | Stochastic Games with Lexicographic Reachability-Safety Objectives. | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler |
| 2020 | CONCUR | Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2020 | ESOP | Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2020 | LICS | Approximating Values of Generalized-Reachability Stochastic Games. | Pranav Ashok, Krishnendu Chatterjee, Jan Kretnsk, Maximilian Weininger, Tobias Winkler |
| 2020 | MFCS | Simplified Game of Life: Algorithms and Complexity. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismal Jecker, Jakub Svoboda |
| 2020 | PLDI | Polynomial invariant generation for non-deterministic recursive programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2019 | ATVA | Deciding Fast Termination for Probabilistic VASS with Nondeterminism. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan |
| 2019 | CAV | Run-Time Optimization for Learned Controllers Through Quantitative Games. | Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Knighofer, Stefan Pranger |
| 2019 | CONCUR | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2019 | CONCUR | Long-Run Average Behavior of Vector Addition Systems with States. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2019 | CONCUR | Combinations of Qualitative Winning for Stochastic Parity Games. | Krishnendu Chatterjee, Nir Piterman |
| 2019 | LICS | Graph Planning with Expected Finite Horizon. | Krishnendu Chatterjee, Laurent Doyen |
| 2019 | OPODIS | The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game. | Laura Schmid, Krishnendu Chatterjee, Stefan Schmid |
| 2019 | PLDI | Cost analysis of nondeterministic probabilistic programs. | Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi |
| 2019 | SAC | The treewidth of smart contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2019 | SAC | Hybrid mining: exploiting blockchain's computational power for distributed problem solving. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani |
| 2019 | VMCAI | Termination of Nondeterministic Probabilistic Programs. | Hongfei Fu, Krishnendu Chatterjee |
| 2018 | APLAS | New Approaches for Almost-Sure Termination of Probabilistic Programs. | Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee |
| 2018 | CAV | Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman |
| 2018 | CONCUR | Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner |
| 2018 | ESOP | Quantitative Analysis of Smart Contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner |
| 2018 | IJCAI | Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. | Krishnendu Chatterjee, Adrin Elgytt, Petr Novotn, Owen Rouill |
| 2018 | IJCAI | Computational Approaches for Stochastic Shortest Path on Succinct MDPs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati |
| 2018 | IJCAI | Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs. | Karel Hork, Branislav Bosansk, Krishnendu Chatterjee |
| 2018 | LICS | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan, Florian Zuleger |
| 2018 | LPAR | Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2018 | SODA | Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2018 | TACAS | Strategy Representation by Decision Trees in Reactive Synthesis. | Toms Brzdil, Krishnendu Chatterjee, Jan Kretnsk, Viktor Toman |
| 2017 | AAAI | Optimizing Expectation with Guarantees in POMDPs. | Krishnendu Chatterjee, Petr Novotn, Guillermo A. Prez, Jean-Franois Raskin, Dorde Zikelic |
| 2017 | ATVA | JTDec: A Tool for Tree Decompositions in Soot. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2017 | CAV | Value Iteration for Long-Run Average Reward in Markov Decision Processes. | Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretnsk, Tobias Meggendorfer |
| 2017 | CAV | Non-polynomial Worst-Case Analysis of Recursive Programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
| 2017 | CAV | Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. | Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar |
| 2017 | CONCUR | Bidirectional Nested Weighted Automata. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2017 | CSL | Improved Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2017 | ESOP | Faster Algorithms for Weighted Recursive State Machines. | Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis |
| 2017 | MFCS | Strategy Complexity of Concurrent Safety Games. | Krishnendu Chatterjee, Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen |
| 2017 | MFCS | Faster Algorithms for Mean-Payoff Parity Games. | Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil |
| 2017 | MFCS | Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak |
| 2017 | POPL | Stochastic invariants for probabilistic termination. | Krishnendu Chatterjee, Petr Novotn, Dorde Zikelic |
| 2016 | AAAI | A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. | Krishnendu Chatterjee, Martin Chmelik, Jessica Davies |
| 2016 | CAV | Termination Analysis of Probabilistic Programs Through Positivstellensatz's. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
| 2016 | CSCW | Game-theoretic models identify useful principles for peer collaboration in online learning platforms. | Vineet Pandey, Krishnendu Chatterjee |
| 2016 | ECAI | The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
| 2016 | ESA | Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2016 | ICALP | Computation Tree Logic for Synchronization Properties. | Krishnendu Chatterjee, Laurent Doyen |
| 2016 | IJCAI | Robust Draws in Balanced Knockout Tournaments. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec |
| 2016 | LICS | Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. | Krishnendu Chatterjee, Laurent Doyen |
| 2016 | LICS | Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2016 | LICS | Quantitative Automata under Probabilistic Semantics. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2016 | MFCS | Conditionally Optimal Algorithms for Generalized Bchi Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2016 | MFCS | Nested Weighted Limit-Average Automata of Bounded Width. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2016 | POPL | Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. | Krishnendu Chatterjee, Hongfei Fu, Petr Novotn, Rouzbeh Hasheminezhad |
| 2016 | POPL | Algorithms for algebraic path properties in concurrent systems of constant treewidth components. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2016 | SAS | Quantitative Monitor Automata. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2015 | AAAI | Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. | Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani |
| 2015 | AAAI | Optimal Cost Almost-Sure Reachability in POMDPs. | Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia |
| 2015 | CAV | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretnsk |
| 2015 | CAV | Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2015 | ICALP | The Complexity of Synthesis from Probabilistic Components. | Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi |
| 2015 | ICALP | Edit Distance for Pushdown Automata. | Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop |
| 2015 | ICRA | Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. | Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia |
| 2015 | LICS | Improved Algorithms for One-Pair and k-Pair Streett Objectives. | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer |
| 2015 | LICS | Nested Weighted Automata. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2015 | LICS | Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. | Krishnendu Chatterjee, Zuzana Komrkov, Jan Kretnsk |
| 2015 | POPL | Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal |
| 2015 | POPL | Quantitative Interprocedural Analysis. | Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner |
| 2015 | SODA | The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
| 2015 | TACAS | Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. | Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Knighofer |
| 2015 | TACAS | MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2014 | ATVA | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | CAV | CEGAR for Qualitative Analysis of Probabilistic Systems. | Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca |
| 2014 | CONCUR | Qualitative Concurrent Parity Games: Bounded Rationality. | Krishnendu Chatterjee |
| 2014 | FOSSACS | Perfect-Information Stochastic Mean-Payoff Parity Games. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj |
| 2014 | FOSSACS | The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. | Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi |
| 2014 | ICALP | Games with a Weak Adversary. | Krishnendu Chatterjee, Laurent Doyen |
| 2014 | ICALP | The Complexity of Ergodic Mean-payoff Games. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
| 2014 | MFCS | Partial-Observation Stochastic Reachability and Parity Games. | Krishnendu Chatterjee |
| 2014 | RTSS | A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. | Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kler, Ulrich Schmid |
| 2014 | VMCAI | Doomsday Equilibria for Omega-Regular Games. | Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-Franois Raskin |
| 2013 | ATVA | Looking at Mean-Payoff and Total-Payoff through Windows. | Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-Franois Raskin |
| 2013 | CAV | Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. | Krishnendu Chatterjee, Andreas Gaiser, Jan Kretnsk |
| 2013 | CAV | Faster Algorithms for Markov Decision Processes with Low Treewidth. | Krishnendu Chatterjee, Jakub Lacki |
| 2013 | CAV | TTP: Tool for Tumor Progression. | Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak |
| 2013 | CONCUR | Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. | Krishnendu Chatterjee, Yaron Velner |
| 2013 | CSL | What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. | Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol |
| 2013 | CSL | Infinite-state games with finitary conditions. | Krishnendu Chatterjee, Nathanal Fijalkow |
| 2013 | FMCAD | Distributed synthesis for LTL fragments. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis |
| 2013 | LATA | How to Travel between Languages. | Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin |
| 2013 | LICS | Trading Performance for Stability in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2013 | LPAR | Multi-objective Discounted Reward Verification in Graphs and MDPs. | Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak |
| 2013 | UAI | POMDPs under Probabilistic Semantics. | Krishnendu Chatterjee, Martin Chmelik |
| 2012 | ATVA | Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
| 2012 | CAV | Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn |
| 2012 | CONCUR | Strategy Synthesis for Multi-Dimensional Quantitative Objectives. | Krishnendu Chatterjee, Mickael Randour, Jean-Franois Raskin |
| 2012 | CSL | Faster Algorithms for Alternating Refinement Relations. | Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath |
| 2012 | EMSOFT | Finite automata with time-delay blocks. | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
| 2012 | ESA | Polynomial-Time Algorithms for Energy Games with Special Weight Structures. | Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai |
| 2012 | FOSSACS | Robustness of Structurally Equivalent Concurrent Parity Games. | Krishnendu Chatterjee |
| 2012 | LICS | Partial-Observation Stochastic Games: How to Win When Belief Fails. | Krishnendu Chatterjee, Laurent Doyen |
| 2012 | LICS | Decidable Problems for Probabilistic Automata on Infinite Words. | Krishnendu Chatterjee, Mathieu Tracol |
| 2012 | LICS | Mean-Payoff Pushdown Games. | Krishnendu Chatterjee, Yaron Velner |
| 2012 | SODA | An | Krishnendu Chatterjee, Monika Henzinger |
| 2012 | VMCAI | Synthesizing Protocols for Digital Contract Signing. | Krishnendu Chatterjee, Vishwanath Raman |
| 2011 | CAV | Quantitative Synthesis for Concurrent Programs. | Pavol Cern, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh |
| 2011 | CAV | Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Bchi Objectives. | Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah |
| 2011 | FCT | On Memoryless Quantitative Objectives. | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh |
| 2011 | LATA | Finitary Languages. | Krishnendu Chatterjee, Nathanal Fijalkow |
| 2011 | LATA | The Complexity of Request-Response Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
| 2011 | LICS | Temporal Specifications with Accumulative Values. | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
| 2011 | LICS | Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2011 | MFCS | Energy and Mean-Payoff Parity Markov Decision Processes. | Krishnendu Chatterjee, Laurent Doyen |
| 2011 | SODA | Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. | Krishnendu Chatterjee, Monika Henzinger |
| 2011 | TACAS | QUASY: Quantitative Synthesis Tool. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2010 | ATVA | Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2010 | CAV | Robustness in the Presence of Liveness. | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2010 | CAV | Gist: A Solver for Probabilistic Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
| 2010 | CAV | Measuring and Synthesizing Systems in Probabilistic Environments. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2010 | CONCUR | Mean-Payoff Automaton Expressions. | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
| 2010 | CONCUR | Obliging Games. | Krishnendu Chatterjee, Florian Horn, Christof Lding |
| 2010 | FASE | Analyzing the Impact of Change in Multi-threaded Programs. | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, Csar Snchez |
| 2010 | ICALP | Energy Parity Games. | Krishnendu Chatterjee, Laurent Doyen |
| 2010 | LPAR | The Complexity of Partial-Observation Parity Games. | Krishnendu Chatterjee, Laurent Doyen |
| 2010 | MFCS | Randomness for Free. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
| 2010 | MFCS | Qualitative Analysis of Partially-Observable Markov Decision Processes. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | CAV | Better Quality in Synthesis through Quantitative Objectives. | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2009 | CONCUR | Probabilistic Weighted Automata. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | FCT | Alternating Weighted Automata. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | ICALP | A Survey of Stochastic Games with Limsup and Liminf Objectives. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | LICS | Expressiveness and Closure Properties for Quantitative Languages. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | MFCS | Stochastic Games with Finitary Objectives. | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
| 2009 | SODA | Termination criteria for solving concurrent safety and reachability games. | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
| 2009 | TACAS | Alpaga: A Tool for Solving Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
| 2008 | APLAS | The Complexity of Coverage. | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
| 2008 | CCS | Robust content-driven reputation. | Krishnendu Chatterjee, Luca de Alfaro, Ian Pye |
| 2008 | CONCUR | Strategy Construction for Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
| 2008 | CONCUR | Environment Assumptions for Synthesis. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2008 | CSL | Quantitative Languages. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2008 | DATE | Logical Reliability of Interacting Real-Time Tasks. | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 2008 | FOSSACS | Model-Checking omega-Regular Properties of Interval Markov Chains. | Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger |
| 2007 | CONCUR | Strategy Logic. | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | FOSSACS | Optimal Strategy Synthesis in Stochastic Mller Games. | Krishnendu Chatterjee |
| 2007 | FOSSACS | Generalized Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | TACAS | Assume-Guarantee Synthesis. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2006 | CONCUR | Strategy Improvement for Stochastic Rabin and Streett Games. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2006 | CSL | Concurrent Games with Tail Objectives. | Krishnendu Chatterjee |
| 2006 | CSL | Nash Equilibrium for Upward-Closed Objectives. | Krishnendu Chatterjee |
| 2006 | CSL | Algorithms for Omega-Regular Games with Imperfect Information | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-Franois Raskin |
| 2006 | SODA | The complexity of quantitative concurrent parity games. | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
| 2006 | STACS | Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2006 | STACS | Markov Decision Processes with Multiple Objectives. | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
| 2006 | TACAS | Finitary Winning in omega-Regular Games. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2005 | CONCUR | Two-Player Nonzero-Sum | Krishnendu Chatterjee |
| 2005 | ICALP | The Complexity of Stochastic Rabin and Streett Games'. | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
| 2005 | LICS | Mean-Payoff Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2005 | UAI | Counterexample-guided Planning. | Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | CSL | On Nash Equilibria in Stochastic Games. | Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski |
| 2004 | LICS | Games with Secure Equilibria. | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2004 | SODA | Quantitative stochastic parity games. | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
| 2003 | CSL | Simple Stochastic Parity Games. | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
| 2003 | SAS | Stack Size Analysis for Interrupt-Driven Programs. | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |