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

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

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

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

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

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

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

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

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

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

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