No. Title Author Year
1 Combinations of Qualitative Winning for Stochastic Parity Games Chatterjee, Krishnendu et al. 2019
2 Long-Run Average Behavior of Vector Addition Systems with States Chatterjee, Krishnendu et al. 2019
3 Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs Chatterjee, Krishnendu et al. 2019
4 Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies Chatterjee, Krishnendu et al. 2018
5 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
6 Faster Algorithms for Mean-Payoff Parity Games Chatterjee, Krishnendu et al. 2017
7 Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs Chatterjee, Krishnendu et al. 2017
8 Improved Set-Based Symbolic Algorithms for Parity Games Chatterjee, Krishnendu et al. 2017
9 Strategy Complexity of Concurrent Safety Games Chatterjee, Krishnendu et al. 2017
10 Computation Tree Logic for Synchronization Properties Chatterjee, Krishnendu et al. 2016
11 Conditionally Optimal Algorithms for Generalized Büchi Games Chatterjee, Krishnendu et al. 2016
12 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
13 Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs Chatterjee, Krishnendu et al. 2016
14 Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) Chatterjee, Krishnendu et al. 2015
15 Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) Bjorner, Nikolaj et al. 2013
16 Infinite-state games with finitary conditions Chatterjee, Krishnendu et al. 2013
17 What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives Chatterjee, Krishnendu et al. 2013
18 Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives Chatterjee, Krishnendu et al. 2012
19 Faster Algorithms for Alternating Refinement Relations Chatterjee, Krishnendu et al. 2012
20 Generalized Mean-payoff and Energy Games Chatterjee, Krishnendu et al. 2010
21 Algorithms for Game Metrics Chatterjee, Krishnendu et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 21


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