pith. sign in

Krishnendu Chatterjee

Identifiers

  • name variant Krishnendu Chatterjee 0.60 · backfill

Papers (144)

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

Mentions

  • 1511.08456 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1510.08517 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1510.07565 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1705.02326 #2 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1410.5387 #4 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1409.2291 #1 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1305.4103 #2 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1212.6556 #1 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1207.7019 #1 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1202.0796 #2 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1506.02434 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1504.08259 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1504.07384 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1504.06117 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 2601.23229 #2 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1502.04844 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1502.02834 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1502.00611 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1501.03093 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1411.4604 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1411.4023 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1411.3880 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1410.7724 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1410.5387 #4 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1410.0833 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1409.6690 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1409.5306 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1409.3360 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1409.2291 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1408.2058 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1407.4225 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1405.0835 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1405.0833 #3 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1404.5734 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1404.5453 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1402.2967 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1401.3289 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1311.3238 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1309.2802 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1308.4846 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1308.4256 #3 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1307.4473 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1305.4103 #2 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1304.5281 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1304.0084 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1303.5251 #3 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 1302.4248 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 2605.24740 #4 · arxiv_oai · confidence 0.70 Krishnendu Chatterjee
  • 1212.6556 #1 · backfill · confidence 0.70 Krishnendu Chatterjee
  • 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