Author： Chatterjee Krishnendu Doyen Laurent Henzinger Thomas
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 268-284
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Games for synthesis of controllers with partial observation
By Arnold A. Vincent A. Walukiewicz I.
Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. :
Access to resources
Recommend
Identification of partial disjunction, parity, and threshold functions
By Uehara R. Tsuchida K. Wegener I.
Theoretical Computer Science, Vol. 230, Iss. 1, 2000-01 ,pp. :
Memoryless determinacy of parity and mean payoff games: a simple proof
By Bjorklund H. Sandberg S. Vorobyov S.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :
Complementarity and Diagonal Dominance in Discounted Stochastic Games
By Amir R.
Annals of Operations Research, Vol. 114, Iss. 1-4, 2002-08 ,pp. :