Krishnendu Chatterjee

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 238

Top Venues

CoRR

LICS

Proc. ACM Program. Lang.

CAV (1)

Publications

Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto
Ergodic Unobservable MDPs: Decidability of Approximation. CoRR (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
Game Dynamics and Equilibrium Computation in the Population Protocol Model. PODC (2024)
Esra Ceylan, Krishnendu Chatterjee, Stefan Schmid, Jakub Svoboda
Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm. NOMS (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR (2024)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Learning Algorithms for Verification of Markov Decision Processes. CoRR (2024)
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. CoRR (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. PODC (2024)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic risk for turn-based stochastic games. Inf. Comput. 301 (2024)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. CoRR (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. CoRR (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. IACR Cryptol. ePrint Arch. 2024 (2024)
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms. CoRR (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. CoRR (2024)
Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. LICS (2024)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CAV (3) (2023)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) (2023)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR (2023)
Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda
Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. SODA (2023)
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI (2023)
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR (2023)
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) (2023)
Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid
On the Convergence Time in Graphical Games: A Locality-Sensitive Approach. OPODIS (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. CoRR (2023)
Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
Repeated Game Dynamics in Population Protocols. CoRR (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS (2023)
Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo
R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. FC (1) (2023)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CoRR (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. MFCS (2023)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CoRR (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. 35 (2) (2023)
Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
Learning Stabilizing Policies in Stochastic Control Systems. CoRR (2022)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Complexity of Spatial Games. FSTTCS (2022)
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR (2022)
Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo
Online Admission Control and Rebalancing in Payment Channel Networks. CoRR (2022)
Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR (2022)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI (2022)
Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec
Social Balance on Networks: Local Minima and Best Edge Dynamics. CoRR (2022)
Krishnendu Chatterjee, Mona Mohammadi, Raimundo Saona
Repeated Prophet Inequality with Near-optimal Bounds. CoRR (2022)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. CAV (1) (2022)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR (2022)
Krishnendu Chatterjee, Raimundo Saona, Bruno Ziliotto
Finite-Memory Strategies in POMDPs with Long-Run Average Objectives. Math. Oper. Res. 47 (1) (2022)
Krishnendu Chatterjee, Laurent Doyen
Graph planning with expected finite horizon. J. Comput. Syst. Sci. 129 (2022)
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Ðorde Zikelic
Algorithms and Hardness Results for Computing Cores of Markov Chains. FSTTCS (2022)
Laura Schmid, Christian Hilbe, Krishnendu Chatterjee, Martin A. Nowak
Direct reciprocity between individuals that use different strategy spaces. PLoS Comput. Biol. 18 (6) (2022)
Martin Zeiner, Ulrich Schmid, Krishnendu Chatterjee
Optimal strategies for selecting coordinators. Discret. Appl. Math. 289 (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. CoRR (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification. CoRR (2021)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods Syst. Des. 57 (3) (2021)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Quantitative Verification on Product Graphs of Small Treewidth. FSTTCS (2021)
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Stateless Model Checking under a Reads-Value-From Equivalence. CoRR (2021)
Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. ICALP (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving non-termination by program reversal. PLDI (2021)
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Quantitative analysis of assertion violations in probabilistic programs. PLDI (2021)
Krishnendu Chatterjee, Laurent Doyen
Stochastic Processes with Expected Stopping Time. LICS (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and conditional lower bounds for planning problems. Artif. Intell. 297 (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR (2021)
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Stateless Model Checking Under a Reads-Value-From Equivalence. CAV (1) (2021)
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
On Satisficing in Quantitative Games. CoRR (2021)
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
On Satisficing in Quantitative Games. TACAS (1) (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving Non-termination by Program Reversal. CoRR (2021)
Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid
Classifying Convergence Complexity of Nash Equilibria in Graphical Games Using Distributed Computing Theory. CoRR (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)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR (2021)
Krishnendu Chatterjee, Laurent Doyen
Stochastic Processes with Expected Stopping Time. CoRR (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS (2021)
Maria Kleshnina, Sabrina S. Streipert, Jerzy A. Filar, Krishnendu Chatterjee
Mistakes can stabilise the dynamics of rock-paper-scissors games. PLoS Comput. Biol. 17 (4) (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. FM (2021)
Petr Tomásek, Karel Horák, Aditya Aradhye, Branislav Bosanský, Krishnendu Chatterjee
Solving Partially Observable Stochastic Shortest-Path Games. IJCAI (2021)
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Polynomial reachability witnesses via Stellensätze. PLDI (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification. LICS (2021)
Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. CoRR (2020)
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Quantitative Analysis of Assertion Violations in Probabilistic Programs. CoRR (2020)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Stochastic Games with Lexicographic Reachability-Safety Objectives. CoRR (2020)
Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. ICAPS (2020)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. CoRR (2020)
Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. AAAI (2020)
Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, Krishnendu Chatterjee
Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. ESOP (2020)
Kamran Kaveh, Alex McAvoy, Krishnendu Chatterjee, Martin A. Nowak
The Moran process on 2-chromatic graphs. PLoS Comput. Biol. 16 (11) (2020)
Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
Limits on amplifiers of natural selection under death-Birth updating. PLoS Comput. Biol. 16 (1) (2020)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning. CoRR (2020)
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games. LICS (2020)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Simplified Game of Life: Algorithms and Complexity. MFCS (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. CoRR (2020)
Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. CoRR (2020)
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Inductive Reachability Witnesses. CoRR (2020)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) (2020)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. CONCUR (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA (2020)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
Polynomial invariant generation for non-deterministic recursive programs. PLDI (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. CoRR (2020)
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR (2020)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CoRR (2019)
Krishnendu Chatterjee, Laurent Doyen
Graph Planning with Expected Finite Horizon. LICS (2019)

Krishnendu Chatterjee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Krishnendu Chatterjee