No. Title Author Year
1 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
2 Improved Set-Based Symbolic Algorithms for Parity Games Chatterjee, Krishnendu et al. 2017
3 Computation Tree Logic for Synchronization Properties Chatterjee, Krishnendu et al. 2016
4 Conditionally Optimal Algorithms for Generalized Büchi Games Chatterjee, Krishnendu et al. 2016
5 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
6 Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs Chatterjee, Krishnendu et al. 2016
7 Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) Chatterjee, Krishnendu et al. 2015
8 Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) Bjorner, Nikolaj et al. 2013
9 Infinite-state games with finitary conditions Chatterjee, Krishnendu et al. 2013
10 What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives Chatterjee, Krishnendu et al. 2013
Current Page :
Number of result pages: 2
Number of documents: 14


DROPS-Home | Fulltext Search | Imprint Published by LZI