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


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