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


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