No. Title Author Year
1 Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) Bjorner, Nikolaj et al. 2013
2 Infinite-state games with finitary conditions Chatterjee, Krishnendu et al. 2013
3 What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives Chatterjee, Krishnendu et al. 2013
4 Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives Chatterjee, Krishnendu et al. 2012
5 Faster Algorithms for Alternating Refinement Relations Chatterjee, Krishnendu et al. 2012
6 Generalized Mean-payoff and Energy Games Chatterjee, Krishnendu et al. 2010
7 Algorithms for Game Metrics Chatterjee, Krishnendu et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI