Krishnendu Chatterjee
#79,642
Most Influential Person Now
Researcher ORCID ID = 0000-0002-4561-241X
Krishnendu Chatterjee's AcademicInfluence.com Rankings
Krishnendu Chatterjeecomputer-science Degrees
Computer Science
#3810
World Rank
#4005
Historical Rank
Theoretical Computer Science
#77
World Rank
#77
Historical Rank
Machine Learning
#2734
World Rank
#2769
Historical Rank
Database
#4489
World Rank
#4667
Historical Rank
Download Badge
Computer Science
Krishnendu Chatterjee's Degrees
- PhD Computer Science University of California, Berkeley
Similar Degrees You Can Earn
Why Is Krishnendu Chatterjee Influential?
(Suggest an Edit or Addition)According to Wikipedia, Krishnendu Chatterjee is an Indian computer scientist who is currently a professor at the Institute of Science and Technology Austria . He is known for his contributions to theoretical computer science, especially in algorithmic game theory, evolutionary game theory, logics and automata theory.
Krishnendu Chatterjee's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Evolutionary dynamics of cancer in response to targeted combination therapy (2013) (547)
- Strategy logic (2007) (282)
- Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer (2017) (281)
- Quantitative languages (2008) (240)
- Algorithms for Omega-Regular Games with Imperfect Information (2006) (239)
- Assigning trust to Wikipedia content (2008) (226)
- Better Quality in Synthesis through Quantitative Objectives (2009) (214)
- Quantitative stochastic parity games (2004) (179)
- Verification of Markov Decision Processes Using Learning Algorithms (2014) (170)
- Mean-payoff parity games (2005) (149)
- Energy Parity Games (2010) (144)
- A survey of stochastic ω-regular games (2012) (144)
- Markov Decision Processes with Multiple Objectives (2006) (139)
- Simple Stochastic Parity Games (2003) (136)
- Reconstructing metastatic seeding patterns of human cancers (2017) (135)
- Generalized Mean-payoff and Energy Games (2010) (132)
- Evolution of cooperation in stochastic games (2018) (122)
- On Nash Equilibria in Stochastic Games (2004) (107)
- Quantitative Synthesis for Concurrent Programs (2011) (106)
- Environment Assumptions for Synthesis (2008) (103)
- Assume-Guarantee Synthesis (2007) (103)
- Games with secure equilibria (2004) (102)
- Temporal Specifications with Accumulative Values (2011) (100)
- The complexity of multi-mean-payoff and multi-energy games (2012) (95)
- Finitary winning in ω-regular games (2009) (94)
- Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification (2011) (88)
- Expressiveness and Closure Properties for Quantitative Languages (2009) (87)
- Memory-n strategies of direct reciprocity (2017) (87)
- Strategy synthesis for multi-dimensional quantitative objectives (2012) (80)
- Partners and rivals in direct reciprocity (2018) (79)
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's (2016) (79)
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (2015) (79)
- Model-Checking omega-Regular Properties of Interval Markov Chains (2008) (74)
- Indirect reciprocity with private, noisy, and incomplete information (2018) (74)
- Social dilemmas among unequals (2019) (73)
- Stochastic invariants for probabilistic termination (2016) (70)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (2014) (70)
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (2011) (68)
- Amplifiers of selection (2015) (67)
- Graph Games and Reactive Synthesis (2018) (66)
- Generalized Parity Games (2007) (65)
- Stack size analysis for interrupt-driven programs (2003) (63)
- Value Iteration (2008) (62)
- Partial-Observation Stochastic Games: How to Win when Belief Fails (2011) (61)
- Trading memory for randomness (2004) (60)
- What is decidable about partially observable Markov decision processes with ω-regular objectives (2013) (60)
- Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (2014) (60)
- Concurrent games with tail objectives (2006) (58)
- Optimal cost almost-sure reachability in POMDPs (2014) (57)
- Alternating Weighted Automata (2009) (57)
- Energy and Mean-Payoff Parity Markov Decision Processes (2011) (56)
- The Complexity of Stochastic Rabin and Streett Games' (2005) (55)
- Markov Decision Processes with Multiple Long-Run Average Objectives (2007) (54)
- Quantitative Analysis of Smart Contracts (2018) (53)
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (2013) (52)
- Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory (2018) (51)
- Data-centric dynamic partial order reduction (2016) (50)
- Randomness for Free (2010) (50)
- Forgiver Triumphs in Alternating Prisoner's Dilemma (2013) (50)
- Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (2015) (49)
- An O(n2) time algorithm for alternating Büchi games (2011) (49)
- Computational complexity of ecological and evolutionary spatial dynamics (2015) (48)
- Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (2017) (48)
- Qualitative Analysis of Partially-Observable Markov Decision Processes (2009) (48)
- Finitary Winning in omega-Regular Games (2006) (47)
- Robustness in the Presence of Liveness (2010) (47)
- Looking at mean-payoff and total-payoff through windows (2013) (46)
- Strategy Construction for Parity Games with Imperfect Information (2008) (45)
- Algorithms for Omega-Regular Games with Incomplete Information ∗ (2006) (45)
- Probabilistic opacity for Markov decision processes (2014) (44)
- Measuring and Synthesizing Systems in Probabilistic Environments (2010) (44)
- Optimal Dyck reachability for data-dependence and alias analysis (2017) (42)
- Amplification on Undirected Population Structures: Comets Beat Stars (2017) (42)
- The Complexity of Partial-Observation Parity Games (2010) (42)
- Mean-Payoff Automaton Expressions (2010) (42)
- Synthesis of AMBA AHB from formal specification: a case study (2013) (41)
- Trading Performance for Stability in Markov Decision Processes (2013) (41)
- Strategy Improvement for Concurrent Reachability Games (2006) (41)
- Probabilistic Smart Contracts: Secure Randomness on the Blockchain (2019) (40)
- A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs (2015) (40)
- Probabilistic Weighted Automata (2009) (40)
- Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (2012) (39)
- Stochastic limit-average games are in EXPTIME (2008) (39)
- Timed Parity Games: Complexity and Robustness (2008) (36)
- Energy parity games☆ (2012) (36)
- Decidable Problems for Probabilistic Automata on Infinite Words (2011) (36)
- The complexity of quantitative concurrent parity games (2006) (36)
- The effect of one additional driver mutation on tumor progression (2012) (36)
- Markov Decision Processes with Multiple Long-Run AverageObjectives (2011) (35)
- Population structure determines the tradeoff between fixation probability and fixation time (2019) (34)
- What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives (2013) (34)
- Limits on amplifiers of natural selection under death-Birth updating (2019) (34)
- Value Iteration for Long-Run Average Reward in Markov Decision Processes (2017) (33)
- Stochastic o-regular games (2007) (33)
- A unified framework of direct and indirect reciprocity (2021) (32)
- Semiperfect-Information Games (2005) (32)
- Verifying Quantitative Properties Using Bound Functions (2005) (32)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (2014) (32)
- Temporal logic motion planning using POMDPs with parity objectives: case study paper (2015) (32)
- Generalized Risk-Aversion in Stochastic Multi-Armed Bandits (2014) (30)
- Faster Algorithms for Markov Decision Processes with Low Treewidth (2013) (29)
- Evolutionary game dynamics in populations with different learners. (2012) (29)
- Multi-objective Discounted Reward Verification in Graphs and MDPs (2013) (29)
- Qualitative concurrent parity games (2011) (29)
- Density games☆ (2013) (28)
- Cost analysis of nondeterministic probabilistic programs (2019) (28)
- Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness (2018) (28)
- A survey of partial-observation stochastic parity games (2013) (28)
- Alpaga: A Tool for Solving Parity Games with Imperfect Information (2009) (28)
- Algorithms for Büchi Games (2008) (28)
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (2015) (28)
- Run-Time Optimization for Learned Controllers Through Quantitative Games (2019) (28)
- Hyperplane Separation Technique for Multidimensional Mean-Payoff Games (2012) (27)
- Gist: A Solver for Probabilistic Games (2010) (27)
- Conditionally Optimal Algorithms for Generalized Büchi Games (2016) (26)
- Doomsday Equilibria for Omega-Regular Games (2013) (26)
- Termination of Nondeterministic Probabilistic Programs (2019) (26)
- Reduction of stochastic parity to stochastic mean-payoff games (2008) (26)
- Robust content-driven reputation (2008) (25)
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (2015) (25)
- Counterexample-guided Planning (2005) (24)
- The treewidth of smart contracts (2019) (24)
- Model-Checking ω-Regular Properties of Interval Markov Chains (2008) (24)
- The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies (2014) (24)
- Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds (2017) (24)
- Mean-Payoff Pushdown Games (2012) (24)
- The Time Scale of Evolutionary Innovation (2014) (23)
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives (2011) (22)
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (2014) (22)
- Strategy improvement for concurrent reachability and turn-based stochastic safety games (2013) (22)
- Polynomial-Time Algorithms for Energy Games with Special Weight Structures (2012) (22)
- Code aware resource management (2005) (22)
- Modular verification for almost-sure termination of probabilistic programs (2019) (22)
- Non-polynomial Worst-Case Analysis of Recursive Programs (2017) (22)
- Distributed synthesis for LTL fragments (2013) (22)
- New Approaches for Almost-Sure Termination of Probabilistic Programs (2018) (21)
- Algorithms for Game Metrics (2008) (21)
- MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives (2015) (21)
- Hybrid mining: exploiting blockchain's computational power for distributed problem solving (2019) (20)
- An O(n^2) Time Algorithm for Alternating B\"uchi Games (2011) (20)
- Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives* (2016) (20)
- QUASY: Quantitative Synthesis Tool (2011) (20)
- Compositional Quantitative Reasoning (2006) (20)
- Assume-guarantee synthesis for digital contract signing (2010) (20)
- Fast and strong amplifiers of natural selection (2021) (20)
- Stochastic omega-regular games (2007) (19)
- Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games (2006) (19)
- The Complexity of Request-Response Games (2011) (19)
- Infinite-state games with finitary conditions (2013) (19)
- Termination of Nondeterministic Recursive Probabilistic Programs (2017) (19)
- Controller Synthesis with Budget Constraints (2008) (18)
- Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components (2015) (18)
- TTP: Tool for Tumor Progression (2013) (18)
- Logical Reliability of Interacting Real-Time Tasks (2008) (18)
- Evolutionary dynamics of biological auctions. (2012) (18)
- Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies (2018) (18)
- Polynomial invariant generation for non-deterministic recursive programs (2019) (17)
- Improved Algorithms for One-Pair and k-Pair Streett Objectives (2014) (17)
- Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives (2011) (17)
- The Complexity of Quantitative Information Flow Problems (2011) (17)
- Strategy Representation by Decision Trees in Reactive Synthesis (2018) (17)
- A Survey of Stochastic Games with Limsup and Liminf Objectives (2009) (17)
- Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction * (2016) (16)
- Robustness of Structurally Equivalent Concurrent Parity Games (2011) (16)
- Linear Time Algorithm for Weak Parity Games (2008) (16)
- Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs (2018) (15)
- POMDPs under probabilistic semantics (2013) (15)
- Nash Equilibrium for Upward-Closed Objectives (2006) (15)
- Quantitative Interprocedural Analysis (2015) (15)
- Nested Weighted Automata (2015) (15)
- Perfect-Information Stochastic Mean-Payoff Parity Games (2014) (14)
- The Complexity of Ergodic Mean-payoff Games (2014) (14)
- Automated analysis of real-time scheduling using graph games (2013) (14)
- Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs (2016) (14)
- JTDec: A Tool for Tree Decompositions in Soot (2017) (14)
- Algorithms for Game Metrics (Full Version) (2008) (14)
- Faster Algorithms for Alternating Refinement Relations (2012) (13)
- Termination criteria for solving concurrent safety and reachability games (2008) (13)
- Quantitative Monitor Automata (2016) (13)
- Value-centric dynamic partial order reduction (2019) (13)
- Computational Approaches for Stochastic Shortest Path on Succinct MDPs (2018) (13)
- A reduction from parity games to simple stochastic games (2011) (13)
- Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (2015) (13)
- Trading Infinite Memory for Uniform Randomness in Timed Games (2008) (12)
- Two-player Nonzero-sum !-regular Games (12)
- Strategy Improvement for Stochastic Rabin and Streett Games (2006) (12)
- Qualitative Logics and Equivalences for Probabilistic Systems (2007) (12)
- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results (2010) (12)
- Qualitative analysis of concurrent mean-payoff games (2014) (12)
- Quantitative Temporal Simulation and Refinement Distances for Timed Systems (2015) (12)
- Games with a Weak Adversary (2014) (12)
- Probabilistic Systems with LimSup and LimInf Objectives (2008) (11)
- Quantitative Automata under Probabilistic Semantics (2016) (11)
- Parameter-Independent Strategies for pMDPs via POMDPs (2018) (10)
- Edit Distance for Pushdown Automata (2015) (10)
- On Memoryless Quantitative Objectives (2011) (10)
- Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (2018) (10)
- Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis (2020) (10)
- Synthesizing Protocols for Digital Contract Signing (2012) (10)
- Obliging Games (2010) (10)
- Optimizing Expectation with Guarantees in POMDPs (2017) (10)
- Stability Verification in Stochastic Control Systems via Neural Network Supermartingales (2021) (10)
- Game theoretic secure localization in wireless sensor networks (2014) (9)
- Cellular cooperation with shift updating and repulsion (2015) (9)
- Algorithms for algebraic path properties in concurrent systems of constant treewidth components (2016) (9)
- Improved Set-based Symbolic Algorithms for Parity Games (2017) (9)
- Algorithms for B\"uchi Games (2008) (9)
- Efficient parameterized algorithms for data packing (2019) (9)
- Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs (2018) (9)
- Polynomial reachability witnesses via Stellensätze (2021) (9)
- Secure Credit Reporting on the Blockchain (2018) (9)
- Termination Analysis of Probabilistic Programs with Martingales (2020) (9)
- Strategy Representation by Decision Trees with Linear Classifiers (2019) (9)
- Infection dynamics of COVID-19 virus under lockdown and reopening (2020) (8)
- Infinite Time Horizon Safety of Bayesian Neural Networks (2021) (8)
- Partial-Observation Stochastic Games: How to Win When Belief Fails (2011) (8)
- Stochastic Müller Games are PSPACE-Complete (2007) (8)
- Approximating the minimum cycle mean (2013) (8)
- Quasipolynomial Set-Based Symbolic Algorithms for Parity Games (2018) (8)
- Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs (2017) (8)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (2011) (8)
- Robust Draws in Balanced Knockout Tournaments (2016) (7)
- Biological auctions with multiple rewards (2015) (7)
- Analyzing the Impact of Change in Multi-threaded Programs (2010) (7)
- Two-Player Nonzero-Sum omega-Regular Games (2004) (7)
- The Complexity of Coverage (2008) (7)
- Edit distance for timed automata (2014) (7)
- Computation Tree Logic for Synchronization Properties (2016) (7)
- Nested Weighted Limit-Average Automata of Bounded Width (2016) (7)
- Stochastic Games with Lexicographic Reachability-Safety Objectives (2020) (7)
- The Moran process on 2-chromatic graphs (2020) (7)
- A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks (2014) (7)
- Quantitative analysis of assertion violations in probabilistic programs (2020) (7)
- The evolution of indirect reciprocity under action and assessment generosity (2021) (7)
- Strategy Complexity of Concurrent Safety Games (2017) (6)
- Proving non-termination by program reversal (2021) (6)
- Stochastic Games with Finitary Objectives (2009) (6)
- The complexity of stochastic Müller games (2012) (6)
- The Complexity of Deciding Legality of a Single Step of Magic: The Gathering (2016) (6)
- Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs (2019) (6)
- Population structure determines the tradeoff between fixation probability and fixation time (2019) (6)
- Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter (2017) (6)
- Synthesis of AMBA AHB from Formal Specification (2010) (6)
- Quantitative timed simulation functions and refinement metrics for real-time systems (2013) (6)
- Synthesis of memory-efficient "real-time" controllers for safety objectives (2011) (6)
- Quantitative fair simulation games (2017) (6)
- Qualitative Concurrent Parity Games: Bounded Rationality (2014) (6)
- Optimal Strategy Synthesis in Stochastic Müller Games (2007) (6)
- Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth (2019) (6)
- Finitary winning in w-regular games (2006) (6)
- Discounting and Averaging in Games across Time scales (2012) (6)
- Stateless Model Checking under a Reads-Value-From Equivalence (2021) (5)
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives (2018) (5)
- Strategy Improvement for Concurrent Reachability and Safety Games (2012) (5)
- Mathematical Foundations of Computer Science 2013 (2013) (5)
- Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time (2019) (5)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (2022) (5)
- The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games (2014) (5)
- Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications (2020) (5)
- Nested Weighted Automata (2015) (5)
- CEGAR for Qualitative Analysis of Probabilistic Systems (2014) (4)
- Combinations of Qualitative Winning for Stochastic Parity Games (2018) (4)
- Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) (2012) (4)
- Direct reciprocity between individuals that use different strategy spaces (2022) (4)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (2019) (4)
- Fixation probability and fixation time in structured populations (2018) (4)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (2012) (4)
- The time scale of evolutionary trajectories (2014) (4)
- Evolutionary instability of selfish learning in repeated games (2021) (4)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (2013) (4)
- Automated competitive analysis of real-time scheduling with graph games (2017) (4)
- Algorithms and Conditional Lower Bounds for Planning Problems (2018) (4)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (2012) (3)
- Stochastic Processes with Expected Stopping Time (2021) (3)
- Language acquisition with communication between learners (2018) (3)
- Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract) (2016) (3)
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games (2014) (3)
- The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game (2019) (3)
- Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth (2020) (3)
- The Complexity of Mean-Payoff Pushdown Games (2017) (3)
- On Satisficing in Quantitative Games (2021) (3)
- Mistakes can stabilise the dynamics of rock-paper-scissors games (2020) (3)
- Reconstructing phylogenies of metastatic cancers (2016) (3)
- Algorithms for Stochastic Parity Games (2005) (3)
- Compositional Analysis for Almost-Sure Termination of Probabilistic Programs (2019) (3)
- Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling (2020) (3)
- Pushdown reachability with constant treewidth (2017) (3)
- Faster Algorithms for Weighted Recursive State Machines (2017) (3)
- Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. (2017) (3)
- The Cost of Exactness in Quantitative Reachability (2017) (3)
- Strategy Improvement for Concurrent Safety Games (2008) (3)
- The Complexity of Synthesis from Probabilistic Components (2015) (2)
- Composition and Alternation for Weighted Automata (2008) (2)
- Computing Average Response Time (2018) (2)
- Strategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives (2015) (2)
- Abstract 4137: Clonal evolution defines the natural history of metastatic pancreatic cancer (2015) (2)
- Game-theoretic models identify useful principles for peer collaboration in online learning platforms (2016) (2)
- A Branching Time Temporal Framework for Quantitative Reasoning (2003) (2)
- Specification-centered robustness (2011) (2)
- Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth (2020) (2)
- The reads-from equivalence for the TSO and PSO memory models (2020) (2)
- Bidirectional Nested Weighted Automata (2017) (2)
- The power of first-order quantification over states in branching and linear time temporal logics (2004) (2)
- Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (2020) (2)
- Natural selection of mutants that modify population structure (2021) (2)
- Finitary Languages (2011) (2)
- Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees (2022) (2)
- Finite Automata with Time-Delay Blocks (Extended Version) (2012) (2)
- Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games (2012) (2)
- Prioritised Learning in Snowdrift-Type Games (2020) (2)
- On Lexicographic Proof Rules for Probabilistic Termination (2021) (2)
- Proceedings of the 8th international conference on Formal modeling and analysis of timed systems (2010) (2)
- Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives (2018) (2)
- The Complexity of POMDPs with Long-run Average Objectives (2019) (2)
- Finite automata with time-delay blocks (2012) (2)
- Graph Planning with Expected Finite Horizon (2018) (1)
- Inductive Reachability Witnesses (2020) (1)
- Approximating the minimum cycle mean I,II (2014) (1)
- Efficient Algorithms for Checking Fast Termination in VASS (2017) (1)
- Faster algorithms for quantitative verification in bounded treewidth graphs (2021) (1)
- Graph Games with Reachability Objectives - (Invited Talk) (2011) (1)
- Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures (2004) (1)
- Automated competitive analysis of real-time scheduling with graph games (2017) (1)
- Polynomial-Time Algorithms for Energy Games with Special Weight Structures (2013) (1)
- Publisher Correction: Partners and rivals in direct reciprocity (2018) (1)
- The value 1 problem for concurrent mean-payoff games (2014) (1)
- Average Case Analysis of the Classical Algorithm for Markov Decision Processes with B\"uchi Objectives (2012) (1)
- Strategy synthesis for multi-dimensional quantitative objectives (2013) (1)
- Learning Stabilizing Policies in Stochastic Control Systems (2022) (1)
- Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth (2014) (1)
- Indefinite-Horizon Reachability in Goal-DEC-POMDPs (2016) (1)
- F eb 2 01 5 The Complexity of Synthesis from Probabilistic Components ∗ (2015) (1)
- Strong Amplifiers of Natural Selection: Proofs (2018) (1)
- Strong amplifiers of natural selection (2016) (1)
- Games for controls (2006) (1)
- Sensor Synthesis for POMDPs with Reachability Objectives (2017) (1)
- Optimal tree-decomposition balancing and reachability on low treewidth graphs (2014) (1)
- Long-Run Average Behavior of Vector Addition Systems with States (2019) (1)
- Bounded Rationality in Concurrent Parity Games (2011) (1)
- Automatic Generation of Starting Positions in Board Games (2013) (1)
- Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth (2023) (1)
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives (2012) (1)
- 1 Value-centric Dynamic Partial Order Reduction (2019) (1)
- PPS : User Manual (2014) (1)
- Online Admission Control and Rebalancing in Payment Channel Networks (2022) (1)
- Quantitative Verification on Product Graphs of Small Treewidth (2021) (1)
- Optimizing Expectation with Guarantees in POMDPs (Technical Report) (2016) (1)
- Code aware resource management (2012) (1)
- Faster Algorithms for Mean-Payoff Parity Games (2017) (1)
- 1 Data-centric Dynamic Partial Order Reduction (2019) (1)
- Discounting in Games across Time Scales (2010) (1)
- Automatic generation of alternative starting positions for traditional board games (2013) (1)
- Replication Package for Article: Quantitative Analysis of Assertion Violations in Probabilistic Programs (2021) (1)
- Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives (2012) (1)
- Simplified Game of Life: Algorithms and Complexity (2020) (1)
- Assume-guarantee synthesis for digital contract signing (2013) (1)
- Faster Algorithms for Bounded Liveness in Graphs and Game Graphs (2021) (1)
- Proceedings 2nd International Workshop on Strategic Reasoning: Doomsday Equilibria for Games on Graphs (2014) (1)
- A I ] 1 0 Fe b 20 18 Graph Planning with Expected Finite Horizon (2018) (1)
- Mathematical foundations of computer science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings (2013) (0)
- Partners and rivals in direct reciprocity (2018) (0)
- Automated Competitive Analysis of Real-time Scheduling with Graphs and Games (2017) (0)
- Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) (2015) (0)
- Doomsday Equilibria for Games on Graphs (2014) (0)
- Special issue: Synthesis and SYNT 2014 (2017) (0)
- 2 6 Ju n 20 17 Bidirectional Nested Weighted Automata (2017) (0)
- Stochastic games with lexicographic objectives (2023) (0)
- Social Balance on Networks: Local Minima and Best Edge Dynamics (2022) (0)
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems (2023) (0)
- The complexity of evolution on graphs (2014) (0)
- Evolution of Decisions in Population Games with Sequentially Searching Individuals (2015) (0)
- Arbitrarily strong amplifiers of natural selection (2016) (0)
- 30 S ep 2 01 4 Randomness for Free ✩ , ✩ ✩ (2014) (0)
- Optimal strategies for selecting coordinators (2021) (0)
- Learning Control Policies for Region Stabilization in Stochastic Systems (2022) (0)
- Scribe Notes : Game Theory in Formal Verification , Krishnendu Chatterjee Lecture 2 (2010) (0)
- The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives (2015) (0)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (2015) (0)
- Cellular cooperation with shift updating and repulsion you. (2015) (0)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (2015) (0)
- Synthesis of AMBA AHB from formal specification: a case study (2011) (0)
- Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings (2010) (0)
- Topological, Automata-Theoretic and Logical Characterizations of Finitary Languages for YR-CONCUR 2010 (2010) (0)
- A Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant (2019) (0)
- Supplementary material from "Language acquisition with communication between learners" (2018) (0)
- Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time (2019) (0)
- Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness (2018) (0)
- 3 : 2 Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs Models : (2019) (0)
- Special issue: Synthesis and SYNT 2014 (2017) (0)
- The complexity of ergodic games (2013) (0)
- Social dilemmas among unequals (2019) (0)
- Partial-Observation Stochastic Reachability and Parity Games (2014) (0)
- Solving Partially Observable Stochastic Shortest-Path Games (2021) (0)
- The effect of environmental information on evolution of cooperation in stochastic games (2022) (0)
- Reconstructing robust phylogenies of metastatic cancers (2015) (0)
- Amplification on Undirected Population Structures: Comets Beat Stars (2017) (0)
- Value Iteration for Mean-payoff in Markov Decision Processes (2017) (0)
- Correction: Forgiver Triumphs in Alternating Prisoner's Dilemma (2014) (0)
- Quantitative assessment can stabilize indirect reciprocity under imperfect information (2023) (0)
- Supplementary Information: Language acquisition with communication between learners (2018) (0)
- Improved lower bounds for request-response and finitary Streett games (2009) (0)
- Complexity of Spatial Games (2022) (0)
- Turn-Based Qualitative Solution of Concurrent Parity Games ∗ (2008) (0)
- Finite-Memory Strategies in POMDPs with Long-Run Average Objectives (2019) (0)
- Strategy complexity of finite-horizon Markov decision processes and simple stochastic games (2012) (0)
- Nuclear Science And Techniques (2017) (0)
- Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States (2020) (0)
- Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory (2018) (0)
- Forgiver Triumphs in Alternating Prisoner's Dilemma access you. (2013) (0)
- Improved algorithms for reachability and shortest path on low tree-width graphs (2014) (0)
- Supplementary Information : Arbitrarily strong amplifiers of natural selection (2017) (0)
- How to Travel between Languages (2013) (0)
- Proceedings 3rd Workshop on Synthesis (2014) (0)
- L O ] 1 0 A pr 2 01 8 Coverability : Realizability Lower Bounds (2018) (0)
- Coverability: Realizability Lower Bounds (2018) (0)
- A survey of partial-observation stochastic parity games (2012) (0)
- RevTerm (2021) (0)
- Supporting Information : Memory-n strategies of direct reciprocity (2017) (0)
- Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations (2020) (0)
- Publisher Correction: Partners and rivals in direct reciprocity (2018) (0)
- Stochastic Games with Parity Mean-payoff Objective (2012) (0)
- The Decidability Frontier for Probabilistic Automata on Infinite Words (2011) (0)
- Ampli cation on Undirected Population Structures : Comets (2016) (0)
- Memory-n strategies of direct reciprocity The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters (2017) (0)
- Evolution of cooperation in stochastic games (2018) (0)
- Proceedings 3rd Workshop on Synthesis: Preface (2014) (0)
- Stochastic Games (2019) (0)
- Distributed Sytnehsis for LTL Fragments (2013) (0)
- Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks (2022) (0)
- Algorithms and Hardness Results for Computing Cores of Markov Chains (2022) (0)
- Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) (2012) (0)
- Symbolic Time and Space Tradeoffs for Probabilistic Verification (2021) (0)
- Coexistence times in the Moran process with environmental heterogeneity (2023) (0)
- Formal proofs and additional simulation results from Language learning with communication between learners from Language acquisition with communication between learners (2018) (0)
- Sentiment Analysis on Twitter Data: A Comparative Approach (2021) (0)
- Special Issue for the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, Klosterneuburg, Austria (2015) (0)
- Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives (2011) (0)
- Specification-Centered Robustness (Invited Paper) (2011) (0)
- Synthesizing robust systems (2013) (0)
- Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning (2020) (0)
- Formal Methods Lecture 6 (2013) (0)
- The complexity of evolutionary games on graphs (2015) (0)
- Breaking the O(n*m) Barrier for Büchi Games and Probabilistic Verification: Invited Presentation at the 1st International Workshop on Strategic Reasoning (2013) (0)
- Classifying Convergence Complexity of Nash Equilibria in Graphical Games Using Distributed Computing Theory (2021) (0)
- Delay Aware Dynamic Load Balancing in i 3 (0)
- Implementation of Algorithms in Article (2018) (0)
- Mean-payoff objectives for Markov Decision Processes (2017) (0)
- Report from Dagstuhl Seminar 15061 Non-Zero-Sum-Games and Control (2015) (0)
- Multidimensional Quantitative Games and Markov Decision Processes (2014) (0)
- Proceedings of the 4th International Workshop on Strategic Reasoning: Pushdown ωB-Regular Games (Abstract) (2016) (0)
- Infection dynamics of COVID-19 virus under lockdown and reopening (2022) (0)
- The Complexity of Stochastic M \ " uller Games (2006) (0)
- 2 Model and Summary of Results 2 . 1 Model (2016) (0)
- Repeated Prophet Inequality with Near-optimal Bounds (2022) (0)
- J ul 2 01 1 Bounded Rationality in Concurrent Parity Games (2017) (0)
- Memoryless Strategies in Concurrent Games with Reachability Objectives (0)
- Abstract 2374: Reconstructing the evolutionary history of metastatic cancers (2016) (0)
- The role of behavioural plasticity in finite vs infinite populations (2020) (0)
This paper list is powered by the following services:
Other Resources About Krishnendu Chatterjee
What Schools Are Affiliated With Krishnendu Chatterjee?
Krishnendu Chatterjee is affiliated with the following schools:
