Krishnendu Chatterjee

Identifiers

• name variant Krishnendu Chatterjee 0.60 · backfill

Papers (142)

1. Automated Approach for Solving Infinite-state Polynomial Reachability Games cs.AI · 2026 · author #1
2. Multi-Environment POMDPs with Finite-Horizon Objectives cs.AI · 2026 · author #3
3. On the Complexity of Discounted Robust MDPs with $L_p$ Uncertainty Sets cs.CC · 2026 · author #2
4. Genotype specificity and spatial arrangement govern the direction and magnitude of selection in variable environments q-bio.PE · 2026 · author #5
5. Predicting success of cooperators across arbitrary heterogeneous environmental landscapes q-bio.PE · 2026 · author #3
6. SuperDP: Differential Privacy Refutation via Supermartingales cs.PL · 2026 · author #1
7. Deciding Fast Termination for Probabilistic VASS with Nondeterminism cs.FL · 2019 · author #2
8. Strategy Representation by Decision Trees with Linear Classifiers cs.LO · 2019 · author #3
9. The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game cs.GT · 2019 · author #1
10. Long-Run Average Behavior of Vector Addition Systems with States cs.FL · 2019 · author #1
11. Probabilistic Smart Contracts: Secure Randomness on the Blockchain cs.GT · 2019 · author #1
12. Cost Analysis of Nondeterministic Probabilistic Programs cs.PL · 2019 · author #4
13. Fixation probability and fixation time in structured populations q-bio.PE · 2018 · author #3
14. New Approaches for Almost-Sure Termination of Probabilistic Programs cs.LO · 2018 · author #3
15. Parameter-Independent Strategies for pMDPs via POMDPs cs.LO · 2018 · author #3
16. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies cs.CR · 2018 · author #1
17. Secure Credit Reporting on the Blockchain cs.CR · 2018 · author #3
18. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS cs.LO · 2018 · author #2
19. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives cs.AI · 2018 · author #1
20. Computational Approaches for Stochastic Shortest Path on Succinct MDPs cs.PL · 2018 · author #1
21. Algorithms and Conditional Lower Bounds for Planning Problems cs.DS · 2018 · author #1
22. Coverability: Realizability Lower Bounds cs.LO · 2018 · author #1
23. Combinations of Qualitative Winning for Stochastic Parity Games cs.LO · 2018 · author #1
24. Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives cs.DS · 2018 · author #1
25. Graph Planning with Expected Finite Horizon cs.AI · 2018 · author #1
26. Strong Amplifiers of Natural Selection: Proofs cs.DM · 2018 · author #3
27. Strategy Representation by Decision Trees in Reactive Synthesis cs.LO · 2018 · author #2
28. Quantitative Analysis of Smart Contracts cs.PL · 2018 · author #1
29. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter cs.DS · 2017 · author #1
30. Sensor Synthesis for POMDPs with Reachability Objectives cs.AI · 2017 · author #1
31. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs cs.PL · 2017 · author #2
32. Efficient Algorithms for Checking Fast Termination in VASS cs.LO · 2017 · author #2
33. Bidirectional Nested Weighted Automata cs.FL · 2017 · author #1
34. Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs cs.NE · 2017 · author #1
35. Faster Algorithms for Mean-Payoff Parity Games cs.GT · 2017 · author #1
36. Improved Set-based Symbolic Algorithms for Parity Games cs.DS · 2017 · author #1
37. Value Iteration for Long-run Average Reward in Markov Decision Processes cs.SY · 2017 · author #2
38. Non-polynomial Worst-Case Analysis of Recursive Programs cs.PL · 2017 · author #1
39. Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds cs.PL · 2017 · author #1
40. Termination of Nondeterministic Recursive Probabilistic Programs cs.PL · 2017 · author #1
41. Optimizing Expectation with Guarantees in POMDPs (Technical Report) cs.AI · 2016 · author #1
42. Stochastic Invariants for Probabilistic Termination cs.PL · 2016 · author #1
43. Data-centric Dynamic Partial Order Reduction cs.PL · 2016 · author #2
44. Conditionally Optimal Algorithms for Generalized B\"uchi Games cs.DS · 2016 · author #1
45. Nested Weighted Limit-Average Automata of Bounded Width cs.FL · 2016 · author #1
46. Polynomial-Time Algorithms for Energy Games with Special Weight Structures cs.DS · 2016 · author #1
47. Termination Analysis of Probabilistic Programs through Positivstellensatz's cs.PL · 2016 · author #1
48. Computation Tree Logic for Synchronization Properties cs.LO · 2016 · author #1
49. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives cs.LO · 2016 · author #1
50. Robust Draws in Balanced Knockout Tournaments cs.GT · 2016 · author #1
51. Stochastic Shortest Path with Energy Constraints in POMDPs cs.AI · 2016 · author #2
52. Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction cs.DS · 2016 · author #1
53. A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs cs.AI · 2015 · author #1
54. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs cs.LO · 2015 · author #1
55. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components cs.PL · 2015 · author #1
56. Strategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives cs.GT · 2015 · author #1
57. Edit Distance for Pushdown Automata cs.FL · 2015 · author #1
58. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs cs.DS · 2015 · author #1
59. Nested Weighted Automata cs.FL · 2015 · author #1
60. The Complexity of Synthesis from Probabilistic Components cs.LO · 2015 · author #1
61. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes cs.LO · 2015 · author #2
62. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes cs.LO · 2015 · author #1
63. MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives cs.AI · 2015 · author #2
64. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information cs.LO · 2014 · author #2
65. Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games cs.AI · 2014 · author #2
66. Optimal Cost Almost-sure Reachability in POMDPs cs.AI · 2014 · author #1
67. Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth cs.PL · 2014 · author #1
68. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games cs.SY · 2014 · author #4
69. Improved Algorithms for Parity and Streett objectives cs.DS · 2014 · author #1
70. The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games cs.GT · 2014 · author #1
71. Qualitative Analysis of Concurrent Mean-payoff Games cs.GT · 2014 · author #1
72. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications cs.LO · 2014 · author #1
73. A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks cs.DS · 2014 · author #1
74. POMDPs under Probabilistic Semantics cs.AI · 2014 · author #1
75. Probabilistic Opacity for Markov Decision Processes cs.CR · 2014 · author #2
76. CEGAR for Qualitative Analysis of Probabilistic Systems cs.LO · 2014 · author #1
77. Generalized Risk-Aversion in Stochastic Multi-Armed Bandits cs.LG · 2014 · author #3
78. The Complexity of Ergodic Mean-payoff Games cs.GT · 2014 · author #1
79. Games with a Weak Adversary cs.LO · 2014 · author #1
80. Verification of Markov Decision Processes using Learning Algorithms cs.LO · 2014 · author #2
81. The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies cs.LO · 2014 · author #1
82. Doomsday Equilibria for Omega-Regular Games cs.GT · 2013 · author #1
83. What is Decidable about Partially Observable Markov Decision Processes with {\omega}-Regular Objectives cs.LO · 2013 · author #1
84. POMDPs under Probabilistic Semantics cs.AI · 2013 · author #1
85. Forgiver triumphs in alternating Prisoner's Dilemma q-bio.PE · 2013 · author #3
86. Approximating the minimum cycle mean cs.DS · 2013 · author #1
87. Trading Performance for Stability in Markov Decision Processes cs.SY · 2013 · author #2
88. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis cs.LO · 2013 · author #1
89. Faster Algorithms for Markov Decision Processes with Low Treewidth cs.DS · 2013 · author #1
90. TTP: Tool for Tumor Progression q-bio.PE · 2013 · author #3
91. Looking at Mean-Payoff and Total-Payoff through Windows cs.GT · 2013 · author #1
92. Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) cs.SY · 2012 · author #1
93. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games cs.GT · 2012 · author #1
94. Strategy complexity of finite-horizon Markov decision processes and simple stochastic games cs.GT · 2012 · author #1
95. The Complexity of Multi-Mean-Payoff and Multi-Energy Games cs.GT · 2012 · author #2
96. Finite Automata with Time-Delay Blocks (Extended Version) cs.FL · 2012 · author #1
97. Counterexample-guided Planning cs.AI · 2012 · author #1
98. Obligation Blackwell Games and p-Automata cs.LO · 2012 · author #1
99. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with B\"uchi Objectives cs.LO · 2012 · author #1
100. Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games cs.GT · 2012 · author #1
101. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types cs.GT · 2012 · author #2
102. Strategy Synthesis for Multi-dimensional Quantitative Objectives cs.GT · 2012 · author #1
103. Faster Algorithms for Alternating Refinement Relations cs.LO · 2012 · author #1
104. Strategy Improvement for Concurrent Reachability and Safety Games cs.GT · 2012 · author #1
105. Mean-Payoff Pushdown Games cs.LO · 2012 · author #1
106. An O(n^2) Time Algorithm for Alternating B\"uchi Games cs.GT · 2011 · author #1
107. Bounded Rationality in Concurrent Parity Games cs.GT · 2011 · author #1
108. Partial-Observation Stochastic Games: How to Win when Belief Fails cs.GT · 2011 · author #1
109. Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives cs.GT · 2011 · author #1
110. Decidable Problems for Probabilistic Automata on Infinite Words cs.FL · 2011 · author #1
111. Robustness of Structurally Equivalent Concurrent Parity Games cs.GT · 2011 · author #1
112. Quantitative Synthesis for Concurrent Programs cs.PL · 2011 · author #2
113. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with B\"uchi Objectives cs.GT · 2011 · author #1
114. On Memoryless Quantitative Objectives cs.GT · 2011 · author #1
115. Energy and Mean-Payoff Parity Markov Decision Processes cs.GT · 2011 · author #1
116. The Decidability Frontier for Probabilistic Automata on Infinite Words cs.LO · 2011 · author #1
117. Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) cs.LO · 2011 · author #1
118. Timed Parity Games: Complexity and Robustness cs.LO · 2010 · author #1
119. Generalized Mean-payoff and Energy Games cs.LO · 2010 · author #1
120. Mean-payoff Automaton Expressions cs.LO · 2010 · author #1
121. Randomness for Free cs.GT · 2010 · author #1
122. Assume-Guarantee Synthesis for Digital Contract Signing cs.LO · 2010 · author #1
123. GIST: A Solver for Probabilistic Games cs.LO · 2010 · author #1
124. Measuring and Synthesizing Systems in Probabilistic Environments cs.LO · 2010 · author #1
125. Energy Parity Games cs.LO · 2010 · author #1
126. Synthesis of AMBA AHB from Formal Specification cs.LO · 2010 · author #2
127. Probabilistic Weighted Automata cs.LO · 2009 · author #1
128. Qualitative Analysis of Partially-observable Markov Decision Processes cs.LO · 2009 · author #1
129. Expressiveness and Closure Properties for Quantitative Languages cs.LO · 2009 · author #1
130. Better Quality in Synthesis through Quantitative Objectives cs.LO · 2009 · author #2
131. Qualitative Logics and Equivalences for Probabilistic Systems cs.LO · 2009 · author #1
132. Alpaga: A Tool for Solving Parity Games with Imperfect Information cs.GT · 2009 · author #2
133. Termination Criteria for Solving Concurrent Safety and Reachability Games cs.GT · 2008 · author #1
134. Probabilistic Systems with LimSup and LimInf Objectives cs.GT · 2008 · author #1
135. Timed Parity Games: Complexity and Robustness cs.LO · 2008 · author #1
136. Environment Assumptions for Synthesis cs.GT · 2008 · author #1
137. Stochastic Limit-Average Games are in EXPTIME cs.GT · 2008 · author #1
138. Algorithms for B\"uchi Games cs.GT · 2008 · author #1
139. Linear Time Algorithm for Weak Parity Games cs.LO · 2008 · author #1
140. Strategy Improvement for Concurrent Safety Games cs.GT · 2008 · author #1
141. The Complexity of Coverage cs.PL · 2008 · author #1
142. Algorithms for Omega-Regular Games with Imperfect Information cs.LO · 2007 · author #1

Mentions

• 1210.3141 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1209.3617 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1209.3234 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1207.7019 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1207.1373 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1206.5174 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1202.4175 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1202.4140 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1202.0796 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1201.5073 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1201.4449 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1201.2834 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1201.2829 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1109.5018 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1107.2146 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1107.2141 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1107.2132 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1107.2091 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1107.2009 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1104.4306 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1104.3348 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1104.3211 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1104.2909 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1104.0127 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1101.5842 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1011.0688 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1007.1669 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1006.1492 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1006.0673 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1004.2697 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1004.2367 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1004.0739 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1001.5183 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 1001.2811 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0909.1647 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0909.1645 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0905.2195 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0904.2638 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0903.2445 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0901.4728 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0809.4017 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0809.1465 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0807.1165 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0805.4167 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0805.2622 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0805.2620 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0805.1391 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0804.4530 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0804.4525 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
• 0706.2619 #1 · backfill · confidence 0.70 Krishnendu Chatterjee

Frequent Coauthors

• Thomas A. Henzinger 31 shared papers
• Laurent Doyen 21 shared papers
• Rasmus Ibsen-Jensen 13 shared papers
• Monika Henzinger 12 shared papers
• Tom\'a\v{s} Br\'azdil 11 shared papers
• Amir Kafshdar Goharshady 9 shared papers
• Petr Novotn\'y 9 shared papers
• Hongfei Fu 8 shared papers
• Andreas Pavlogiannis 7 shared papers
• Jan K\v{r}et\'insk\'y 7 shared papers
• Martin Chmelik 7 shared papers
• Veronika Loitzenbauer 7 shared papers
• Anton\'in Ku\v{c}era 6 shared papers
• Luca de Alfaro 6 shared papers
• Martin Chmel\'ik 6 shared papers
• Jan Otop 5 shared papers
• Martin A. Nowak 5 shared papers
• Wolfgang Dvo\v{r}\'ak 5 shared papers
• Yaron Velner 5 shared papers
• Barbara Jobstmann 4 shared papers