No. |
Title |
Author |
Year |
---|

1 |
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs |
Chatterjee, Krishnendu et al. |
2021 |

2 |
Quantitative Verification on Product Graphs of Small Treewidth |
Chatterjee, Krishnendu et al. |
2021 |

3 |
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States |
Chatterjee, Krishnendu et al. |
2020 |

4 |
Simplified Game of Life: Algorithms and Complexity |
Chatterjee, Krishnendu et al. |
2020 |

5 |
The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game |
Schmid, Laura et al. |
2020 |

6 |
Combinations of Qualitative Winning for Stochastic Parity Games |
Chatterjee, Krishnendu et al. |
2019 |

7 |
Long-Run Average Behavior of Vector Addition Systems with States |
Chatterjee, Krishnendu et al. |
2019 |

8 |
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs |
Chatterjee, Krishnendu et al. |
2019 |

9 |
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies |
Chatterjee, Krishnendu et al. |
2018 |

10 |
Bidirectional Nested Weighted Automata |
Chatterjee, Krishnendu et al. |
2017 |

11 |
Faster Algorithms for Mean-Payoff Parity Games |
Chatterjee, Krishnendu et al. |
2017 |

12 |
Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs |
Chatterjee, Krishnendu et al. |
2017 |

13 |
Improved Set-Based Symbolic Algorithms for Parity Games |
Chatterjee, Krishnendu et al. |
2017 |

14 |
Strategy Complexity of Concurrent Safety Games |
Chatterjee, Krishnendu et al. |
2017 |

15 |
Computation Tree Logic for Synchronization Properties |
Chatterjee, Krishnendu et al. |
2016 |

16 |
Conditionally Optimal Algorithms for Generalized Büchi Games |
Chatterjee, Krishnendu et al. |
2016 |

17 |
Nested Weighted Limit-Average Automata of Bounded Width |
Chatterjee, Krishnendu et al. |
2016 |

18 |
Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs |
Chatterjee, Krishnendu et al. |
2016 |

19 |
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) |
Chatterjee, Krishnendu et al. |
2015 |

20 |
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) |
Bjorner, Nikolaj et al. |
2013 |

21 |
Infinite-state games with finitary conditions |
Chatterjee, Krishnendu et al. |
2013 |

22 |
What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives |
Chatterjee, Krishnendu et al. |
2013 |

23 |
Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives |
Chatterjee, Krishnendu et al. |
2012 |

24 |
Faster Algorithms for Alternating Refinement Relations |
Chatterjee, Krishnendu et al. |
2012 |

25 |
Generalized Mean-payoff and Energy Games |
Chatterjee, Krishnendu et al. |
2010 |

26 |
Algorithms for Game Metrics |
Chatterjee, Krishnendu et al. |
2008 |