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

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

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

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

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

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

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

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

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

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

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