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

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