No. Title Author Year
1 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
2 Faster Algorithms for Mean-Payoff Parity Games Chatterjee, Krishnendu et al. 2017
3 Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs Chatterjee, Krishnendu et al. 2017
4 Improved Set-Based Symbolic Algorithms for Parity Games Chatterjee, Krishnendu et al. 2017
5 Strategy Complexity of Concurrent Safety Games Chatterjee, Krishnendu et al. 2017
6 Computation Tree Logic for Synchronization Properties Chatterjee, Krishnendu et al. 2016
7 Conditionally Optimal Algorithms for Generalized Büchi Games Chatterjee, Krishnendu et al. 2016
8 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
9 Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs Chatterjee, Krishnendu et al. 2016
10 Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) Chatterjee, Krishnendu et al. 2015
Current Page :
Number of result pages: 2
Number of documents: 17


DROPS-Home | Fulltext Search | Imprint Published by LZI