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
Current Page :
Number of result pages: 2
Number of documents: 18


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI