No. Title Author Year
1 Computation Tree Logic for Synchronization Properties Chatterjee, Krishnendu et al. 2016
2 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
3 Generalized Mean-payoff and Energy Games Chatterjee, Krishnendu et al. 2010
4 On the Power of Imperfect Information Berwanger, Dietmar et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 4

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