Krishnendu Chatterjee

575 papers A* 86A 23B 70C 3Misc 3Journal 307Unranked 78

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Liquid Democracy With Two Opposing Factions. IACR Cryptol. ePrint Arch. Krishnendu Chatterjee, Seth Gilbert, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2026	A*	`conf`	Qualitative Analysis of ω-Regular Objectives on Robust MDPs. AAAI Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
2026	A*	`conf`	Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. AAAI Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
2026	J	`jnl`	Strongly Polynomial Time Complexity of Policy Iteration for L CoRR Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano
2026	J	`jnl`	SuperDP: Differential Privacy Refutation via Supermartingales. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Dorde Zikelic
2025	A	`conf`	Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection. DISC Krishnendu Chatterjee, Jan Matyás Kristan, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2025	J	`jnl`	Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection. CoRR Krishnendu Chatterjee, Jan Matyás Kristan, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2025	J	`jnl`	Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection. IACR Cryptol. ePrint Arch. Krishnendu Chatterjee, Jan Matyás Kristan, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2025	—	`conf`	Fixed Point Certificates for Reachability and Expected Rewards in MDPs. TACAS (2) Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025	J	`jnl`	Fixed Point Certificates for Reachability and Expected Rewards in MDPs. CoRR Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2025	A	`conf`	Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete. UAI Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
2025	J	`jnl`	Limitation of Time Promotes Cooperation in Structured Collaboration Systems. IEEE Trans. Netw. Sci. Eng. Yichao Zhang, Jiasheng Wang, Guanghui Wen, Jihong Guan, Shuigeng Zhou, Guanrong Chen, Krishnendu Chatterjee, Matjaz Perc
2025	A*	`conf`	Linear Equations with Min and Max Operators: Computational Complexity. AAAI Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda
2025	A	`conf`	Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes. UAI Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij
2025	J	`jnl`	Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes. CoRR Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij
2025	J	`jnl`	Monotone Near-Zero-Sum Games: A Generalization of Convex-Concave Minimax. CoRR Ruichen Luo, Sebastian U. Stich, Krishnendu Chatterjee
2025	A*	`conf`	Multiplicative Rewards in Markovian Models. LICS Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025	J	`jnl`	Multiplicative Rewards in Markovian Models. CoRR Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025	B	`conf`	PolyQEnt: A Polynomial Quantified Entailment Solver. ATVA Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic
2025	J	`jnl`	Qualitative Analysis of ω-Regular Objectives on Robust MDPs. CoRR Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
2025	A*	`conf`	Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. AAAI Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2025	—	`conf`	Refuting Equivalence in Probabilistic Programs with Conditioning. TACAS (2) Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2025	J	`jnl`	Refuting Equivalence in Probabilistic Programs with Conditioning. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2025	J	`jnl`	Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. CoRR Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
2025	A*	`conf`	Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. LICS Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025	J	`jnl`	Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. CoRR Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025	A*	`conf`	The Value Problem for Multiple-Environment MDPs with Parity Objective. ICALP Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Ocan Sankur
2025	J	`jnl`	The Value Problem for Multiple-Environment MDPs with Parity Objective. CoRR Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Ocan Sankur
2025	J	`jnl`	Time-Dependent Strategies in Repeated Asymmetric Public Goods Games. Dyn. Games Appl. Valentin Hübner, Christian Hilbe, Manuel Staab, Maria Kleshnina, Krishnendu Chatterjee
2025	—	`conf`	Value Iteration with Guessing for Markov Chains and Markov Decision Processes. TACAS (2) Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda
2025	J	`jnl`	Value Iteration with Guessing for Markov Chains and Markov Decision Processes. CoRR Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda
2025	J	`jnl`	Value-Positivity for Matrix Games. Math. Oper. Res. Krishnendu Chatterjee, Miquel Oliu-Barton, Raimundo Saona
2025	J	`jnl`	When is liquid democracy possible? On the manipulation of variance. IACR Cryptol. ePrint Arch. Krishnendu Chatterjee, Seth Gilbert, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2025	A*	`conf`	When is liquid democracy possible?: On the manipulation of variance. PODC Krishnendu Chatterjee, Seth Gilbert, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2025	—	`conf`	ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games. FSTTCS Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2025	J	`jnl`	ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games. CoRR Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2024	J	`jnl`	Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Comput. Biol. Jakub Svoboda, Soham Joshi, Josef Tkadlec, Krishnendu Chatterjee
2024	A*	`conf`	Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. IJCAI S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024	J	`jnl`	Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. CoRR S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024	—	`conf`	Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms. FSTTCS Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024	J	`jnl`	Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms. CoRR Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024	B	`conf`	Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm. NOMS Esra Ceylan, Krishnendu Chatterjee, Stefan Schmid, Jakub Svoboda
2024	A*	`conf`	Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. LICS Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta
2024	J	`jnl`	Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. CoRR Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024	J	`jnl`	Entropic risk for turn-based stochastic games. Inf. Comput. Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2024	J	`jnl`	Equivalence and Similarity Refutation for Probabilistic Programs. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2024	J	`jnl`	Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2024	J	`jnl`	Ergodic Unobservable MDPs: Decidability of Approximation. CoRR Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto
2024	A*	`conf`	Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. PODC Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024	J	`jnl`	Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. CoRR Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024	J	`jnl`	Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. IACR Cryptol. ePrint Arch. Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024	A*	`conf`	Game Dynamics and Equilibrium Computation in the Population Protocol Model. PODC Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
2024	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2024	J	`jnl`	Limit-sure reachability for small memory policies in POMDPs is NP-complete. CoRR Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
2024	J	`jnl`	Linear Equations with Min and Max Operators: Computational Complexity. CoRR Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda
2024	J	`jnl`	PolyHorn: A Polynomial Horn Clause Solver. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic
2024	J	`jnl`	Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2024	J	`jnl`	Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2024	A*	`conf`	Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. ICML Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee
2024	A*	`conf`	Solving Long-run Average Reward Robust MDPs via Stochastic Games. IJCAI Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
2024	—	`conf`	Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. FM (1) Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2024	J	`jnl`	Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2024	J	`jnl`	Stochastic Processes with Expected Stopping Time. Log. Methods Comput. Sci. Krishnendu Chatterjee, Laurent Doyen
2024	J	`jnl`	Stochastic games with lexicographic objectives. Formal Methods Syst. Des. Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler
2023	—	`conf`	A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2023	—	`conf`	Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CAV (3) Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023	J	`jnl`	Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CoRR Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023	A*	`conf`	Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023	J	`jnl`	Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023	B	`conf`	Entropic Risk for Turn-Based Stochastic Games. MFCS Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023	J	`jnl`	Entropic Risk for Turn-Based Stochastic Games. CoRR Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023	A*	`conf`	Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. SODA Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda
2023	A*	`conf`	Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
2023	—	`conf`	Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2023	—	`conf`	MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023	J	`jnl`	MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CoRR S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023	J	`jnl`	On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
2023	B	`conf`	On the Convergence Time in Graphical Games: A Locality-Sensitive Approach. OPODIS Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid
2023	A*	`conf`	Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
2023	—	`conf`	R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. FC (1) Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2023	J	`jnl`	Repeated Game Dynamics in Population Protocols. CoRR Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
2023	J	`jnl`	Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
2022	—	`conf`	Algorithms and Hardness Results for Computing Cores of Markov Chains. FSTTCS Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic
2022	—	`conf`	Complexity of Spatial Games. FSTTCS Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
2022	J	`jnl`	Direct reciprocity between individuals that use different strategy spaces. PLoS Comput. Biol. Laura Schmid, Christian Hilbe, Krishnendu Chatterjee, Martin A. Nowak
2022	J	`jnl`	Finite-Memory Strategies in POMDPs with Long-Run Average Objectives. Math. Oper. Res. Krishnendu Chatterjee, Raimundo Saona, Bruno Ziliotto
2022	J	`jnl`	Graph planning with expected finite horizon. J. Comput. Syst. Sci. Krishnendu Chatterjee, Laurent Doyen
2022	J	`jnl`	Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2022	J	`jnl`	Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
2022	J	`jnl`	Learning Stabilizing Policies in Stochastic Control Systems. CoRR Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
2022	J	`jnl`	Online Admission Control and Rebalancing in Payment Channel Networks. CoRR Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo
2022	—	`ed.`	Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Principles of Systems Design Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
2022	J	`jnl`	Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
2022	J	`jnl`	Repeated Prophet Inequality with Near-optimal Bounds. CoRR Krishnendu Chatterjee, Mona Mohammadi, Raimundo Saona
2022	J	`jnl`	Social Balance on Networks: Local Minima and Best Edge Dynamics. CoRR Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec
2022	—	`conf`	Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. CAV (1) Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2022	A*	`conf`	Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	J	`jnl`	Algorithms and conditional lower bounds for planning problems. Artif. Intell. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2021	J	`jnl`	Classifying Convergence Complexity of Nash Equilibria in Graphical Games Using Distributed Computing Theory. CoRR Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid
2021	A*	`conf`	Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. ICALP Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil
2021	J	`jnl`	Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods Syst. Des. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2021	A*	`conf`	Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	J	`jnl`	Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	J	`jnl`	Mistakes can stabilise the dynamics of rock-paper-scissors games. PLoS Comput. Biol. Maria Kleshnina, Sabrina S. Streipert, Jerzy A. Filar, Krishnendu Chatterjee
2021	B	`conf`	On Lexicographic Proof Rules for Probabilistic Termination. FM Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
2021	J	`jnl`	On Lexicographic Proof Rules for Probabilistic Termination. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
2021	—	`conf`	On Satisficing in Quantitative Games. TACAS (1) Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
2021	J	`jnl`	On Satisficing in Quantitative Games. CoRR Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
2021	J	`jnl`	Optimal strategies for selecting coordinators. Discret. Appl. Math. Martin Zeiner, Ulrich Schmid, Krishnendu Chatterjee
2021	A*	`conf`	Polynomial reachability witnesses via Stellensätze. PLDI Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2021	J	`jnl`	Proving Non-termination by Program Reversal. CoRR Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2021	A*	`conf`	Proving non-termination by program reversal. PLDI Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2021	—	`conf`	Quantitative Verification on Product Graphs of Small Treewidth. FSTTCS Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2021	A*	`conf`	Quantitative analysis of assertion violations in probabilistic programs. PLDI Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2021	A*	`conf`	Solving Partially Observable Stochastic Shortest-Path Games. IJCAI Petr Tomásek, Karel Horák, Aditya Aradhye, Branislav Bosanský, Krishnendu Chatterjee
2021	J	`jnl`	Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	—	`conf`	Stateless Model Checking Under a Reads-Value-From Equivalence. CAV (1) Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
2021	J	`jnl`	Stateless Model Checking under a Reads-Value-From Equivalence. CoRR Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
2021	A*	`conf`	Stochastic Processes with Expected Stopping Time. LICS Krishnendu Chatterjee, Laurent Doyen
2021	J	`jnl`	Stochastic Processes with Expected Stopping Time. CoRR Krishnendu Chatterjee, Laurent Doyen
2021	A*	`conf`	Symbolic Time and Space Tradeoffs for Probabilistic Verification. LICS Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2021	J	`jnl`	Symbolic Time and Space Tradeoffs for Probabilistic Verification. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2021	J	`jnl`	The reads-from equivalence for the TSO and PSO memory models. Proc. ACM Program. Lang. Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
2020	A*	`conf`	Approximating Values of Generalized-Reachability Stochastic Games. LICS Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
2020	J	`jnl`	Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. CoRR Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020	B	`conf`	Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
2020	J	`jnl`	Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. CoRR Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
2020	J	`jnl`	Inductive Reachability Witnesses. CoRR Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2020	J	`jnl`	Limits on amplifiers of natural selection under death-Birth updating. PLoS Comput. Biol. Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
2020	B	`conf`	Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2020	J	`jnl`	Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2020	A*	`conf`	Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. ICAPS Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer
2020	A	`conf`	Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. ESOP Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2020	J	`jnl`	Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2020	A*	`conf`	Polynomial invariant generation for non-deterministic recursive programs. PLDI Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2020	J	`jnl`	Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, Krishnendu Chatterjee
2020	J	`jnl`	Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
2020	J	`jnl`	Quantitative Analysis of Assertion Violations in Probabilistic Programs. CoRR Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020	A*	`conf`	Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. AAAI Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
2020	J	`jnl`	Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
2020	B	`conf`	Simplified Game of Life: Algorithms and Complexity. MFCS Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
2020	—	`conf`	Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020	J	`jnl`	Stochastic Games with Lexicographic Reachability-Safety Objectives. CoRR Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020	—	`ch.`	Termination Analysis of Probabilistic Programs with Martingales. Foundations of Probabilistic Programming Krishnendu Chatterjee, Hongfei Fu, Petr Novotný
2020	J	`jnl`	The Moran process on 2-chromatic graphs. PLoS Comput. Biol. Kamran Kaveh, Alex McAvoy, Krishnendu Chatterjee, Martin A. Nowak
2020	J	`jnl`	The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
2019	B	`conf`	Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR Krishnendu Chatterjee, Nir Piterman
2019	J	`jnl`	Compositional Analysis for Almost-Sure Termination of Probabilistic Programs. CoRR Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2019	J	`jnl`	Cost Analysis of Nondeterministic Probabilistic Programs. CoRR Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Peixin Wang, Xudong Qin, Wenjun Shi
2019	A*	`conf`	Cost analysis of nondeterministic probabilistic programs. PLDI Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi
2019	B	`conf`	Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
2019	J	`jnl`	Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
2019	J	`jnl`	Efficient parameterized algorithms for data packing. Proc. ACM Program. Lang. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis
2019	J	`jnl`	Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Trans. Program. Lang. Syst. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2019	A*	`conf`	Graph Planning with Expected Finite Horizon. LICS Krishnendu Chatterjee, Laurent Doyen
2019	Misc	`conf`	Hybrid mining: exploiting blockchain's computational power for distributed problem solving. SAC Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
2019	B	`conf`	Long-Run Average Behavior of Vector Addition Systems with States. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2019	J	`jnl`	Long-Run Average Behavior of Vector Addition Systems with States. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2019	J	`jnl`	Modular verification for almost-sure termination of probabilistic programs. Proc. ACM Program. Lang. Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2019	B	`conf`	Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CONCUR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2019	J	`jnl`	Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2019	J	`jnl`	Non-polynomial Worst-Case Analysis of Recursive Programs. ACM Trans. Program. Lang. Syst. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2019	J	`jnl`	Optimal Dyck Reachability for Data-Dependence and Alias Analysis. CoRR Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis
2019	J	`jnl`	Polynomial Invariant Generation for Non-deterministic Recursive Programs. CoRR Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2019	—	`conf`	Probabilistic Smart Contracts: Secure Randomness on the Blockchain. IEEE ICBC Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
2019	J	`jnl`	Probabilistic Smart Contracts: Secure Randomness on the Blockchain. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
2019	J	`jnl`	Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. CoRR Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu
2019	J	`jnl`	Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2019	J	`jnl`	Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2019	—	`conf`	Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
2019	—	`conf`	Strategy Representation by Decision Trees with Linear Classifiers. QEST Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019	J	`jnl`	Strategy Representation by Decision Trees with Linear Classifiers. CoRR Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019	B	`conf`	Termination of Nondeterministic Probabilistic Programs. VMCAI Hongfei Fu, Krishnendu Chatterjee
2019	J	`jnl`	The Complexity of POMDPs with Long-run Average Objectives. CoRR Krishnendu Chatterjee, Raimundo Saona, Bruno Ziliotto
2019	B	`conf`	The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game. OPODIS Laura Schmid, Krishnendu Chatterjee, Stefan Schmid
2019	J	`jnl`	The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game. CoRR Krishnendu Chatterjee, Laura Schmid, Stefan Schmid
2019	Misc	`conf`	The treewidth of smart contracts. SAC Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2019	J	`jnl`	Value-centric Dynamic Partial Order Reduction. CoRR Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
2019	J	`jnl`	Value-centric dynamic partial order reduction. Proc. ACM Program. Lang. Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
2018	J	`jnl`	Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM Trans. Program. Lang. Syst. Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
2018	A*	`conf`	Algorithms and Conditional Lower Bounds for Planning Problems. ICAPS Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2018	J	`jnl`	Algorithms and Conditional Lower Bounds for Planning Problems. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2018	J	`jnl`	Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM Trans. Program. Lang. Syst. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis
2018	J	`jnl`	Automated competitive analysis of real-time scheduling with graph games. Real Time Syst. Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
2018	J	`jnl`	Combinations of Qualitative Winning for Stochastic Parity Games. CoRR Krishnendu Chatterjee, Nir Piterman
2018	A*	`conf`	Computational Approaches for Stochastic Shortest Path on Succinct MDPs. IJCAI Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
2018	J	`jnl`	Computational Approaches for Stochastic Shortest Path on Succinct MDPs. CoRR Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
2018	—	`conf`	Computing Average Response Time. Principles of Modeling Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2018	J	`jnl`	Coverability: Realizability Lower Bounds. CoRR Krishnendu Chatterjee, Nir Piterman
2018	J	`jnl`	Data-centric dynamic partial order reduction. Proc. ACM Program. Lang. Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya
2018	A*	`conf`	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. LICS Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
2018	J	`jnl`	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
2018	B	`conf`	Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. CONCUR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
2018	J	`jnl`	Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
2018	A*	`conf`	Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. IJCAI Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé
2018	J	`jnl`	Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives. CoRR Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé
2018	J	`jnl`	Fixation probability and fixation time in structured populations. CoRR Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
2018	A*	`conf`	Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs. IJCAI Karel Horák, Branislav Bosanský, Krishnendu Chatterjee
2018	—	`ch.`	Graph Games and Reactive Synthesis. Handbook of Model Checking Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann
2018	J	`jnl`	Graph Planning with Expected Finite Horizon. CoRR Krishnendu Chatterjee, Laurent Doyen
2018	J	`jnl`	Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. Proc. ACM Program. Lang. Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný
2018	A*	`conf`	Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. SODA Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2018	B	`conf`	New Approaches for Almost-Sure Termination of Probabilistic Programs. APLAS Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
2018	J	`jnl`	New Approaches for Almost-Sure Termination of Probabilistic Programs. CoRR Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
2018	J	`jnl`	Optimal Dyck reachability for data-dependence and alias analysis. Proc. ACM Program. Lang. Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis
2018	—	`conf`	Parameter-Independent Strategies for pMDPs via POMDPs. QEST Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	J	`jnl`	Parameter-Independent Strategies for pMDPs via POMDPs. CoRR Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	A	`conf`	Quantitative Analysis of Smart Contracts. ESOP Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
2018	J	`jnl`	Quantitative Analysis of Smart Contracts. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
2018	B	`conf`	Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. LPAR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2018	—	`conf`	Secure Credit Reporting on the Blockchain. iThings/GreenCom/CPSCom/SmartData Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee
2018	J	`jnl`	Secure Credit Reporting on the Blockchain. CoRR Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee
2018	A*	`conf`	Sensor Synthesis for POMDPs with Reachability Objectives. ICAPS Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
2018	—	`conf`	Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
2018	J	`jnl`	Strategy Representation by Decision Trees in Reactive Synthesis. CoRR Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
2018	J	`jnl`	Strong Amplifiers of Natural Selection: Proofs. CoRR Andreas Pavlogiannis, Josef Tkadlec, Krishnendu Chatterjee, Martin A. Nowak
2018	—	`conf`	Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CAV (2) Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
2018	J	`jnl`	Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CoRR Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
2017	—	`conf`	Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. CAV (1) Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
2017	J	`jnl`	Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. CoRR Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
2017	B	`conf`	Bidirectional Nested Weighted Automata. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2017	J	`jnl`	Bidirectional Nested Weighted Automata. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2017	J	`jnl`	Doomsday equilibria for omega-regular games. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2017	J	`jnl`	Edit Distance for Pushdown Automata. Log. Methods Comput. Sci. Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
2017	J	`jnl`	Efficient Algorithms for Checking Fast Termination in VASS. CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
2017	B	`conf`	Faster Algorithms for Mean-Payoff Parity Games. MFCS Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil
2017	J	`jnl`	Faster Algorithms for Mean-Payoff Parity Games. CoRR Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil
2017	A	`conf`	Faster Algorithms for Weighted Recursive State Machines. ESOP Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
2017	J	`jnl`	Faster Algorithms for Weighted Recursive State Machines. CoRR Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
2017	B	`conf`	Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs. MFCS Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak
2017	J	`jnl`	Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak
2017	J	`jnl`	Hyperplane separation technique for multidimensional mean-payoff games. J. Comput. Syst. Sci. Krishnendu Chatterjee, Yaron Velner
2017	J	`jnl`	Improved Algorithms for Parity and Streett objectives. Log. Methods Comput. Sci. Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer
2017	B	`conf`	Improved Set-Based Symbolic Algorithms for Parity Games. CSL Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2017	J	`jnl`	Improved Set-based Symbolic Algorithms for Parity Games. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2017	B	`conf`	JTDec: A Tool for Tree Decompositions in Soot. ATVA Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
2017	J	`jnl`	Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. CoRR Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný
2017	J	`jnl`	Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2017	J	`jnl`	Nested Weighted Automata. ACM Trans. Comput. Log. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2017	—	`conf`	Non-polynomial Worst-Case Analysis of Recursive Programs. CAV (2) Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2017	J	`jnl`	Non-polynomial Worst-Case Analysis of Recursive Programs. CoRR Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2017	J	`jnl`	Obligation Blackwell Games and P-Automata. J. Symb. Log. Krishnendu Chatterjee, Nir Piterman
2017	A*	`conf`	Optimizing Expectation with Guarantees in POMDPs. AAAI Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
2017	J	`jnl`	Pushdown reachability with constant treewidth. Inf. Process. Lett. Krishnendu Chatterjee, Georg Osang
2017	J	`jnl`	Quantitative fair simulation games. Inf. Comput. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner
2017	J	`jnl`	Sensor Synthesis for POMDPs with Reachability Objectives. CoRR Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
2017	J	`jnl`	Special issue: Synthesis and SYNT 2014. Acta Informatica Krishnendu Chatterjee, Rüdiger Ehlers
2017	A*	`conf`	Stochastic invariants for probabilistic termination. POPL Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
2017	B	`conf`	Strategy Complexity of Concurrent Safety Games. MFCS Krishnendu Chatterjee, Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen
2017	J	`jnl`	Termination of Nondeterministic Recursive Probabilistic Programs. CoRR Krishnendu Chatterjee, Hongfei Fu
2017	J	`jnl`	The Complexity of Mean-Payoff Pushdown Games. J. ACM Krishnendu Chatterjee, Yaron Velner
2017	—	`conf`	The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2017	J	`jnl`	Trading performance for stability in Markov decision processes. J. Comput. Syst. Sci. Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2017	J	`jnl`	Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Log. Methods Comput. Sci. Krishnendu Chatterjee, Zuzana Kretínská, Jan Kretínský
2017	—	`conf`	Value Iteration for Long-Run Average Reward in Markov Decision Processes. CAV (1) Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
2017	J	`jnl`	Value Iteration for Long-run Average Reward in Markov Decision Processes. CoRR Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
2016	A*	`conf`	A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. AAAI Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
2016	A*	`conf`	Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
2016	A*	`conf`	Algorithms for algebraic path properties in concurrent systems of constant treewidth components. POPL Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2016	A*	`conf`	Computation Tree Logic for Synchronization Properties. ICALP Krishnendu Chatterjee, Laurent Doyen
2016	J	`jnl`	Computation Tree Logic for Synchronization Properties. CoRR Krishnendu Chatterjee, Laurent Doyen
2016	B	`conf`	Conditionally Optimal Algorithms for Generalized Büchi Games. MFCS Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016	J	`jnl`	Conditionally Optimal Algorithms for Generalized Büchi Games. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016	J	`jnl`	Data-centric Dynamic Partial Order Reduction. CoRR Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya
2016	—	`conf`	Game-theoretic models identify useful principles for peer collaboration in online learning platforms. CSCW Companion Vineet Pandey, Krishnendu Chatterjee
2016	A*	`conf`	Indefinite-Horizon Reachability in Goal-DEC-POMDPs. ICAPS Krishnendu Chatterjee, Martin Chmelik
2016	A*	`conf`	Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. LICS Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016	J	`jnl`	Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. CoRR Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016	B	`conf`	Nested Weighted Limit-Average Automata of Bounded Width. MFCS Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2016	J	`jnl`	Nested Weighted Limit-Average Automata of Bounded Width. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2016	A	`conf`	Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. ESA Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2016	J	`jnl`	Optimal cost almost-sure reachability in POMDPs. Artif. Intell. Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2016	J	`jnl`	Optimizing Expectation with Guarantees in POMDPs (Technical Report). CoRR Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
2016	A*	`conf`	Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. LICS Krishnendu Chatterjee, Laurent Doyen
2016	J	`jnl`	Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. CoRR Krishnendu Chatterjee, Laurent Doyen
2016	J	`jnl`	Polynomial-Time Algorithms for Energy Games with Special Weight Structures. CoRR Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai
2016	A*	`conf`	Quantitative Automata under Probabilistic Semantics. LICS Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2016	J	`jnl`	Quantitative Automata under Probabilistic Semantics. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2016	B	`conf`	Quantitative Monitor Automata. SAS Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2016	A*	`conf`	Robust Draws in Balanced Knockout Tournaments. IJCAI Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec
2016	J	`jnl`	Robust Draws in Balanced Knockout Tournaments. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec
2016	J	`jnl`	Stochastic Invariants for Probabilistic Termination. CoRR Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
2016	J	`jnl`	Stochastic Shortest Path with Energy Constraints in POMDPs. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
2016	A	`conf`	Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). AAMAS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
2016	—	`conf`	Termination Analysis of Probabilistic Programs Through Positivstellensatz's. CAV (1) Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2016	J	`jnl`	Termination Analysis of Probabilistic Programs through Positivstellensatz's. CoRR Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2016	A	`conf`	The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. ECAI Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2016	J	`jnl`	What is decidable about partially observable Markov decision processes with ω-regular objectives. J. Comput. Syst. Sci. Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
2015	J	`jnl`	A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. CoRR Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
2015	J	`jnl`	Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. CoRR Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
2015	J	`jnl`	Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. CoRR Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2015	A	`conf`	Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2015	A*	`conf`	Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. AAAI Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
2015	J	`jnl`	Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theor. Comput. Sci. Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah
2015	J	`jnl`	CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods Syst. Des. Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2015	—	`conf`	Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CAV (1) Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015	J	`jnl`	Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015	—	`conf`	Edit Distance for Pushdown Automata. ICALP (2) Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
2015	J	`jnl`	Edit Distance for Pushdown Automata. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
2015	J	`jnl`	Evolution of Decisions in Population Games with Sequentially Searching Individuals. Games Tadeas Priklopil, Krishnendu Chatterjee
2015	A*	`conf`	Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. POPL Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal
2015	—	`conf`	Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. CAV (1) Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2015	J	`jnl`	Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2015	A*	`conf`	Improved Algorithms for One-Pair and k-Pair Streett Objectives. LICS Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer
2015	J	`jnl`	Looking at mean-payoff and total-payoff through windows. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
2015	J	`jnl`	Measuring and Synthesizing Systems in Probabilistic Environments. J. ACM Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2015	A	`conf`	MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. TACAS Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2015	J	`jnl`	MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. CoRR Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2015	A*	`conf`	Nested Weighted Automata. LICS Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2015	J	`jnl`	Nested Weighted Automata. CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2015	J	`jnl`	Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
2015	A*	`conf`	Optimal Cost Almost-Sure Reachability in POMDPs. AAAI Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2015	J	`jnl`	POMDPs under probabilistic semantics. Artif. Intell. Krishnendu Chatterjee, Martin Chmelik
2015	J	`jnl`	Probabilistic opacity for Markov decision processes. Inf. Process. Lett. Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
2015	A*	`conf`	Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. ICRA Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2015	J	`jnl`	Qualitative analysis of concurrent mean-payoff games. Inf. Comput. Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2015	A*	`conf`	Quantitative Interprocedural Analysis. POPL Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner
2015	J	`jnl`	Quantitative Temporal Simulation and Refinement Distances for Timed Systems. IEEE Trans. Autom. Control. Krishnendu Chatterjee, Vinayak S. Prabhu
2015	J	`jnl`	Randomness for free. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2015	J	`jnl`	Special Issue for the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, Klosterneuburg, Austria. Inf. Comput. Krishnendu Chatterjee, Jirí Sgall
2015	J	`jnl`	Strategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives. CoRR Krishnendu Chatterjee, Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen
2015	—	`conf`	Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2015	—	`conf`	Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2015	—	`conf`	The Complexity of Synthesis from Probabilistic Components. ICALP (2) Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
2015	J	`jnl`	The Complexity of Synthesis from Probabilistic Components. CoRR Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
2015	A*	`conf`	The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. SODA Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2015	J	`jnl`	The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin
2015	A*	`conf`	Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský
2015	J	`jnl`	Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. CoRR Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský
2014	A	`conf`	A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. RTSS Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
2014	J	`jnl`	A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. CoRR Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
2014	J	`jnl`	Approximating the minimum cycle mean. Theor. Comput. Sci. Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, Michael A. Raskin
2014	J	`jnl`	Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. CoRR Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2014	J	`jnl`	Assume-guarantee synthesis for digital contract signing. Formal Aspects Comput. Krishnendu Chatterjee, Vishwanath Raman
2014	J	`jnl`	Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. CoRR Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
2014	A*	`conf`	CEGAR for Qualitative Analysis of Probabilistic Systems. CAV Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014	J	`jnl`	CEGAR for Qualitative Analysis of Probabilistic Systems. CoRR Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014	B	`conf`	Doomsday Equilibria for Omega-Regular Games. VMCAI Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2014	—	`conf`	Edit distance for timed automata. HSCC Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar
2014	J	`jnl`	Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition. J. ACM Krishnendu Chatterjee, Monika Henzinger
2014	J	`jnl`	Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal
2014	—	`conf`	Game theoretic secure localization in wireless sensor networks. IOT Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee
2014	—	`conf`	Games with a Weak Adversary. ICALP (2) Krishnendu Chatterjee, Laurent Doyen
2014	J	`jnl`	Games with a Weak Adversary. CoRR Krishnendu Chatterjee, Laurent Doyen
2014	J	`jnl`	Generalized Risk-Aversion in Stochastic Multi-Armed Bandits. CoRR Alexander Zimin, Rasmus Ibsen-Jensen, Krishnendu Chatterjee
2014	J	`jnl`	Improved Algorithms for One-Pair and k-Pair Streett Objectives. CoRR Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer
2014	J	`jnl`	Optimal Cost Almost-sure Reachability in POMDPs. CoRR Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2014	J	`jnl`	POMDPs under Probabilistic Semantics. CoRR Krishnendu Chatterjee, Martin Chmelik
2014	J	`jnl`	Partial-Observation Stochastic Games: How to Win when Belief Fails. ACM Trans. Comput. Log. Krishnendu Chatterjee, Laurent Doyen
2014	—	`conf`	Partial-Observation Stochastic Reachability and Parity Games. MFCS (1) Krishnendu Chatterjee
2014	B	`conf`	Perfect-Information Stochastic Mean-Payoff Parity Games. FoSSaCS Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
2014	J	`jnl`	Polynomial-Time Algorithms for Energy Games with Special Weight Structures. Algorithmica Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai
2014	J	`jnl`	Probabilistic Opacity for Markov Decision Processes. CoRR Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
2014	—	`ed.`	Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. SYNT Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha
2014	J	`jnl`	Qualitative Analysis of Concurrent Mean-payoff Games. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2014	J	`jnl`	Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. CoRR Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2014	B	`conf`	Qualitative Concurrent Parity Games: Bounded Rationality. CONCUR Krishnendu Chatterjee
2014	J	`jnl`	Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
2014	J	`jnl`	Synthesizing robust systems. Acta Informatica Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
2014	J	`jnl`	Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	J	`jnl`	Temporal Specifications with Accumulative Values. ACM Trans. Comput. Log. Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman
2014	—	`conf`	The Complexity of Ergodic Mean-payoff Games. ICALP (2) Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2014	J	`jnl`	The Complexity of Ergodic Mean-payoff Games. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2014	B	`conf`	The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
2014	J	`jnl`	The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
2014	J	`jnl`	The Time Scale of Evolutionary Innovation. PLoS Comput. Biol. Krishnendu Chatterjee, Andreas Pavlogiannis, Ben Adlam, Martin A. Nowak
2014	J	`jnl`	The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2014	J	`jnl`	Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Log. Methods Comput. Sci. Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2014	B	`conf`	Verification of Markov Decision Processes Using Learning Algorithms. ATVA Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014	J	`jnl`	Verification of Markov Decision Processes using Learning Algorithms. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2013	J	`jnl`	A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2013	—	`conf`	Approximating the minimum cycle mean. GandALF Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer
2013	J	`jnl`	Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CoRR Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský
2013	A*	`conf`	Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. CAV Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský
2013	—	`conf`	Automated analysis of real-time scheduling using graph games. HSCC Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid
2013	J	`jnl`	Code aware resource management. Formal Methods Syst. Des. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
2013	B	`conf`	Distributed synthesis for LTL fragments. FMCAD Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis
2013	J	`jnl`	Doomsday Equilibria for Omega-Regular Games. CoRR Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2013	J	`jnl`	Faster Algorithms for Markov Decision Processes with Low Treewidth CoRR Krishnendu Chatterjee, Jakub Lacki
2013	A*	`conf`	Faster Algorithms for Markov Decision Processes with Low Treewidth. CAV Krishnendu Chatterjee, Jakub Lacki
2013	C	`conf`	How to Travel between Languages. LATA Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin
2013	B	`conf`	Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. CONCUR Krishnendu Chatterjee, Yaron Velner
2013	J	`jnl`	Infinite-state games with finitary conditions CoRR Krishnendu Chatterjee, Nathanaël Fijalkow
2013	B	`conf`	Infinite-state games with finitary conditions. CSL Krishnendu Chatterjee, Nathanaël Fijalkow
2013	J	`jnl`	Looking at Mean-Payoff and Total-Payoff through Windows CoRR Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
2013	B	`conf`	Looking at Mean-Payoff and Total-Payoff through Windows. ATVA Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
2013	B	`ed.`	Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings MFCS Krishnendu Chatterjee, Jirí Sgall
2013	B	`conf`	Multi-objective Discounted Reward Verification in Graphs and MDPs. LPAR Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak
2013	A	`conf`	POMDPs under Probabilistic Semantics. UAI Krishnendu Chatterjee, Martin Chmelik
2013	J	`jnl`	POMDPs under Probabilistic Semantics. CoRR Krishnendu Chatterjee, Martin Chmelik
2013	—	`conf`	Quantitative timed simulation functions and refinement metrics for real-time systems. HSCC Krishnendu Chatterjee, Vinayak S. Prabhu
2013	J	`jnl`	Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2013	J	`jnl`	Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods Syst. Des. Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah
2013	J	`jnl`	Synthesis of AMBA AHB from formal specification: a case study. Int. J. Softw. Tools Technol. Transf. Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
2013	J	`jnl`	Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Inf. Comput. Krishnendu Chatterjee, Vinayak S. Prabhu
2013	J	`jnl`	TTP: Tool for Tumor Progression CoRR Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak
2013	A*	`conf`	TTP: Tool for Tumor Progression. CAV Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak
2013	J	`jnl`	The Complexity of Coverage. Int. J. Found. Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2013	J	`jnl`	Trading Performance for Stability in Markov Decision Processes CoRR Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2013	A*	`conf`	Trading Performance for Stability in Markov Decision Processes. LICS Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2013	B	`conf`	What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. CSL Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
2013	J	`jnl`	What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. CoRR Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
2012	J	`jnl`	A survey of stochastic ω-regular games. J. Comput. Syst. Sci. Krishnendu Chatterjee, Thomas A. Henzinger
2012	A*	`conf`	An SODA Krishnendu Chatterjee, Monika Henzinger
2012	J	`jnl`	Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives CoRR Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah
2012	—	`conf`	Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. FSTTCS Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah
2012	J	`jnl`	Counterexample-guided Planning CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2012	A*	`conf`	Decidable Problems for Probabilistic Automata on Infinite Words. LICS Krishnendu Chatterjee, Mathieu Tracol
2012	J	`jnl`	Discounting and Averaging in Games across Time scales. Int. J. Found. Comput. Sci. Krishnendu Chatterjee, Rupak Majumdar
2012	J	`jnl`	Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
2012	A*	`conf`	Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
2012	J	`jnl`	Energy parity games. Theor. Comput. Sci. Krishnendu Chatterjee, Laurent Doyen
2012	B	`conf`	Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. ATVA Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
2012	J	`jnl`	Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games CoRR Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
2012	J	`jnl`	Faster Algorithms for Alternating Refinement Relations CoRR Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath
2012	B	`conf`	Faster Algorithms for Alternating Refinement Relations. CSL Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath
2012	J	`jnl`	Finite Automata with Time-Delay Blocks (Extended Version) CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
2012	Misc	`conf`	Finite automata with time-delay blocks. EMSOFT Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
2012	J	`jnl`	Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives CoRR Krishnendu Chatterjee, Yaron Velner
2012	J	`jnl`	Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports Nikolaj S. Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar
2012	J	`jnl`	Image Enhancement in Transient Lock-In Thermography Through Time Series Reconstruction and Spatial Slope Correction. IEEE Trans. Instrum. Meas. Krishnendu Chatterjee, Suneet Tuli
2012	J	`jnl`	Mean-Payoff Pushdown Games CoRR Krishnendu Chatterjee, Yaron Velner
2012	A*	`conf`	Mean-Payoff Pushdown Games. LICS Krishnendu Chatterjee, Yaron Velner
2012	J	`jnl`	Obligation Blackwell Games and p-Automata CoRR Krishnendu Chatterjee, Nir Piterman
2012	A*	`conf`	Partial-Observation Stochastic Games: How to Win When Belief Fails. LICS Krishnendu Chatterjee, Laurent Doyen
2012	A	`conf`	Polynomial-Time Algorithms for Energy Games with Special Weight Structures. ESA Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai
2012	J	`jnl`	Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) CoRR Krishnendu Chatterjee, Vinayak S. Prabhu
2012	B	`conf`	Robustness of Structurally Equivalent Concurrent Parity Games. FoSSaCS Krishnendu Chatterjee
2012	—	`conf`	Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. MEMICS Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2012	J	`jnl`	Strategy Improvement for Concurrent Reachability and Safety Games CoRR Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2012	B	`conf`	Strategy Synthesis for Multi-Dimensional Quantitative Objectives. CONCUR Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
2012	J	`jnl`	Strategy Synthesis for Multi-dimensional Quantitative Objectives CoRR Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
2012	J	`jnl`	Strategy complexity of finite-horizon Markov decision processes and simple stochastic games CoRR Krishnendu Chatterjee, Rasmus Ibsen-Jensen
2012	B	`conf`	Synthesizing Protocols for Digital Contract Signing. VMCAI Krishnendu Chatterjee, Vishwanath Raman
2012	J	`jnl`	The Complexity of Multi-Mean-Payoff and Multi-Energy Games CoRR Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin
2012	J	`jnl`	The complexity of stochastic Müller games. Inf. Comput. Krishnendu Chatterjee
2011	—	`conf`	A reduction from parity games to simple stochastic games GandALF Krishnendu Chatterjee, Nathanaël Fijalkow
2011	J	`jnl`	An O(n^2) Time Algorithm for Alternating Büchi Games CoRR Krishnendu Chatterjee, Monika Henzinger
2011	J	`jnl`	Bounded Rationality in Concurrent Parity Games CoRR Krishnendu Chatterjee
2011	J	`jnl`	Decidable Problems for Probabilistic Automata on Infinite Words CoRR Krishnendu Chatterjee, Mathieu Tracol
2011	J	`jnl`	Energy and Mean-Payoff Parity Markov Decision Processes CoRR Krishnendu Chatterjee, Laurent Doyen
2011	B	`conf`	Energy and Mean-Payoff Parity Markov Decision Processes. MFCS Krishnendu Chatterjee, Laurent Doyen
2011	A*	`conf`	Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. SODA Krishnendu Chatterjee, Monika Henzinger
2011	C	`conf`	Finitary Languages. LATA Krishnendu Chatterjee, Nathanaël Fijalkow
2011	J	`jnl`	Finitary languages CoRR Krishnendu Chatterjee, Nathanaël Fijalkow
2011	—	`conf`	Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. MEMICS Krishnendu Chatterjee, Laurent Doyen
2011	—	`conf`	Graph Games with Reachability Objectives - (Invited Talk). RP Krishnendu Chatterjee
2011	J	`jnl`	Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives CoRR Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
2011	—	`conf`	Minimum Attention Controller Synthesis for Omega-Regular Objectives. FORMATS Krishnendu Chatterjee, Rupak Majumdar
2011	J	`jnl`	On Memoryless Quantitative Objectives CoRR Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
2011	B	`conf`	On Memoryless Quantitative Objectives. FCT Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
2011	J	`jnl`	Partial-Observation Stochastic Games: How to Win when Belief Fails CoRR Krishnendu Chatterjee, Laurent Doyen
2011	A	`conf`	QUASY: Quantitative Synthesis Tool. TACAS Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2011	J	`jnl`	Qualitative concurrent parity games. ACM Trans. Comput. Log. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2011	J	`jnl`	Quantitative Synthesis for Concurrent Programs CoRR Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011	A*	`conf`	Quantitative Synthesis for Concurrent Programs. CAV Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011	J	`jnl`	Robustness of Structurally Equivalent Concurrent Parity Games CoRR Krishnendu Chatterjee
2011	—	`conf`	Specification-centered robustness. SIES Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
2011	J	`jnl`	Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives CoRR Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah
2011	A*	`conf`	Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. CAV Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah
2011	J	`jnl`	Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) CoRR Krishnendu Chatterjee, Vinayak S. Prabhu
2011	—	`conf`	Synthesis of memory-efficient "real-time" controllers for safety objectives. HSCC Krishnendu Chatterjee, Vinayak S. Prabhu
2011	A*	`conf`	Temporal Specifications with Accumulative Values. LICS Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman
2011	A	`conf`	The Complexity of Quantitative Information Flow Problems. CSF Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger
2011	C	`conf`	The Complexity of Request-Response Games. LATA Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
2011	J	`jnl`	The Decidability Frontier for Probabilistic Automata on Infinite Words CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol
2011	J	`jnl`	Timed Parity Games: Complexity and Robustness Log. Methods Comput. Sci. Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
2011	A*	`conf`	Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2010	J	`jnl`	Algorithms for Game Metrics (Full Version) Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
2010	B	`conf`	Analyzing the Impact of Change in Multi-threaded Programs. FASE Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
2010	J	`jnl`	Assume-Guarantee Synthesis for Digital Contract Signing CoRR Krishnendu Chatterjee, Vishwanath Raman
2010	—	`conf`	Discounting in Games across Time Scales GANDALF Krishnendu Chatterjee, Rupak Majumdar
2010	J	`jnl`	Energy Parity Games CoRR Krishnendu Chatterjee, Laurent Doyen
2010	—	`conf`	Energy Parity Games. ICALP (2) Krishnendu Chatterjee, Laurent Doyen
2010	J	`jnl`	Expressiveness and Closure Properties for Quantitative Languages Log. Methods Comput. Sci. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings FORMATS Krishnendu Chatterjee, Thomas A. Henzinger
2010	J	`jnl`	GIST: A Solver for Probabilistic Games CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
2010	J	`jnl`	Generalized Mean-payoff and Energy Games CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2010	—	`conf`	Generalized Mean-payoff and Energy Games. FSTTCS Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2010	A*	`conf`	Gist: A Solver for Probabilistic Games. CAV Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
2010	B	`conf`	Mean-Payoff Automaton Expressions. CONCUR Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
2010	J	`jnl`	Mean-payoff Automaton Expressions CoRR Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
2010	J	`jnl`	Measuring and Synthesizing Systems in Probabilistic Environments CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2010	A*	`conf`	Measuring and Synthesizing Systems in Probabilistic Environments. CAV Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2010	B	`conf`	Obliging Games. CONCUR Krishnendu Chatterjee, Florian Horn, Christof Löding
2010	B	`conf`	Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. ATVA Krishnendu Chatterjee, Thomas A. Henzinger
2010	B	`conf`	Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010	J	`jnl`	Quantitative languages. ACM Trans. Comput. Log. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010	J	`jnl`	Randomness for Free CoRR Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010	B	`conf`	Randomness for Free. MFCS Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010	A*	`conf`	Robustness in the Presence of Liveness. CAV Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
2010	J	`jnl`	Strategy construction for parity games with imperfect information. Inf. Comput. Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2010	J	`jnl`	Strategy logic. Inf. Comput. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2010	J	`jnl`	Synthesis of AMBA AHB from Formal Specification CoRR Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
2010	—	`conf`	The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) Krishnendu Chatterjee, Laurent Doyen
2009	—	`conf`	A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009	A	`conf`	Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009	B	`conf`	Alternating Weighted Automata. FCT Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Better Quality in Synthesis through Quantitative Objectives CoRR Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2009	A*	`conf`	Better Quality in Synthesis through Quantitative Objectives. CAV Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2009	J	`jnl`	Expressiveness and Closure Properties for Quantitative Languages CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	A*	`conf`	Expressiveness and Closure Properties for Quantitative Languages. LICS Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Finitary winning in omega-regular games. ACM Trans. Comput. Log. Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
2009	J	`jnl`	Probabilistic Weighted Automata CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	B	`conf`	Probabilistic Weighted Automata. CONCUR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Qualitative Analysis of Partially-observable Markov Decision Processes CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Qualitative Logics and Equivalences for Probabilistic Systems Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
2009	B	`conf`	Stochastic Games with Finitary Objectives. MFCS Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
2009	A*	`conf`	Termination criteria for solving concurrent safety and reachability games. SODA Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2008	J	`jnl`	Algorithms for Büchi Games CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2008	—	`conf`	Algorithms for Game Metrics. FSTTCS Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
2008	—	`conf`	Assigning trust to Wikipedia content. Int. Sym. Wikis B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman
2008	—	`conf`	Controller Synthesis with Budget Constraints. HSCC Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2008	J	`jnl`	Environment Assumptions for Synthesis CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2008	B	`conf`	Environment Assumptions for Synthesis. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2008	J	`jnl`	Linear Time Algorithm for Weak Parity Games CoRR Krishnendu Chatterjee
2008	A	`conf`	Logical Reliability of Interacting Real-Time Tasks. DATE Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2008	B	`conf`	Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger
2008	J	`jnl`	Probabilistic Systems with LimSup and LimInf Objectives CoRR Krishnendu Chatterjee, Thomas A. Henzinger
2008	B	`conf`	Quantitative Languages. CSL Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2008	J	`jnl`	Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. Krishnendu Chatterjee, Thomas A. Henzinger
2008	—	`conf`	Robust content-driven reputation. AISec Krishnendu Chatterjee, Luca de Alfaro, Ian Pye
2008	J	`jnl`	Stochastic Limit-Average Games are in EXPTIME CoRR Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2008	J	`jnl`	Stochastic limit-average games are in EXPTIME. Int. J. Game Theory Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2008	B	`conf`	Strategy Construction for Parity Games with Imperfect Information. CONCUR Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje
2008	J	`jnl`	Strategy Improvement for Concurrent Safety Games CoRR Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2008	J	`jnl`	Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2008	J	`jnl`	The Complexity of Coverage CoRR Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2008	B	`conf`	The Complexity of Coverage. APLAS Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2008	J	`jnl`	Timed Parity Games: Complexity and Robustness CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
2008	—	`conf`	Timed Parity Games: Complexity and Robustness. FORMATS Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
2008	—	`conf`	Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
2008	—	`conf`	Value Iteration. 25 Years of Model Checking Krishnendu Chatterjee, Thomas A. Henzinger
2007	J	`jnl`	Algorithms for Omega-Regular Games with Imperfect Information CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2007	J	`jnl`	Algorithms for Omega-Regular Games with Imperfect Information. Log. Methods Comput. Sci. Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2007	A	`conf`	Assume-Guarantee Synthesis. TACAS Krishnendu Chatterjee, Thomas A. Henzinger
2007	J	`jnl`	Concurrent games with tail objectives. Theor. Comput. Sci. Krishnendu Chatterjee
2007	B	`conf`	Generalized Parity Games. FoSSaCS Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2007	—	`conf`	Markov Decision Processes with Multiple Long-Run Average Objectives. FSTTCS Krishnendu Chatterjee
2007	B	`conf`	Optimal Strategy Synthesis in Stochastic Müller Games. FoSSaCS Krishnendu Chatterjee
2007	—	`conf`	Probabilistic Systems with LimSup and LimInf Objectives. ILC Krishnendu Chatterjee, Thomas A. Henzinger
2007	—	`conf`	Qualitative Logics and Equivalences for Probabilistic Systems. QEST Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay
2007	—	`conf`	Stochastic Müller Games are PSPACE-Complete. FSTTCS Krishnendu Chatterjee
2007	B	`conf`	Strategy Logic. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2006	B	`conf`	Algorithms for Omega-Regular Games with Imperfect Information CSL Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2006	—	`conf`	Compositional Quantitative Reasoning. QEST Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2006	B	`conf`	Concurrent Games with Tail Objectives. CSL Krishnendu Chatterjee
2006	A	`conf`	Finitary Winning in omega-Regular Games. TACAS Krishnendu Chatterjee, Thomas A. Henzinger
2006	—	`conf`	Games for Controls. CSFW Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher
2006	J	`jnl`	Games with secure equilibria. Theor. Comput. Sci. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2006	A	`conf`	Markov Decision Processes with Multiple Objectives. STACS Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2006	B	`conf`	Nash Equilibrium for Upward-Closed Objectives. CSL Krishnendu Chatterjee
2006	A	`conf`	Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS Krishnendu Chatterjee, Thomas A. Henzinger
2006	—	`conf`	Strategy Improvement for Concurrent Reachability Games. QEST Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2006	B	`conf`	Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger
2006	A*	`conf`	The complexity of quantitative concurrent parity games. SODA Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2005	A	`conf`	Counterexample-guided Planning. UAI Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2005	A*	`conf`	Mean-Payoff Parity Games. LICS Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2005	—	`conf`	Semiperfect-Information Games. FSTTCS Krishnendu Chatterjee, Thomas A. Henzinger
2005	A*	`conf`	The Complexity of Stochastic Rabin and Streett Games'. ICALP Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2005	B	`conf`	Two-Player Nonzero-Sum CONCUR Krishnendu Chatterjee
2005	—	`conf`	Verifying Quantitative Properties Using Bound Functions. CHARME Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
2004	—	`conf`	Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2004	—	`conf`	Games with Secure Equilibria. FMCO Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2004	A*	`conf`	Games with Secure Equilibria. LICS Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2004	B	`conf`	On Nash Equilibria in Stochastic Games. CSL Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski
2004	A*	`conf`	Quantitative stochastic parity games. SODA Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger
2004	J	`jnl`	Stack size analysis for interrupt-driven programs. Inf. Comput. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2004	J	`jnl`	The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2004	—	`conf`	Trading Memory for Randomness. QEST Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2003	J	`jnl`	A Branching Time Temporal Framework for Quantitative Reasoning. J. Autom. Reason. Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2003	B	`conf`	Simple Stochastic Parity Games. CSL Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger
2003	B	`conf`	Stack Size Analysis for Interrupt-Driven Programs. SAS Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg