Parity Games with Weights
暂无分享,去创建一个
[1] Sanjay Jain,et al. An ordered approach to solving parity games in quasi polynomial time and quasi linear space , 2017, SPIN.
[2] Uri Zwick,et al. A deterministic subexponential algorithm for solving parity games , 2006, SODA '06.
[3] Sven Schewe,et al. An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games , 2008, CSL.
[4] Marcin Jurdzinski,et al. Model Checking Probabilistic Timed Automata with One or Two Clocks , 2008, Log. Methods Comput. Sci..
[5] Sven Schewe,et al. Solving parity games in big steps , 2007, J. Comput. Syst. Sci..
[6] Marcin Jurdzinski,et al. A Discrete Strategy Improvement Algorithm for Solving Parity Games , 2000, CAV.
[7] Anil Nerode,et al. McNaughton Games and Extracting Strategies for Concurrent Programs , 1996, Ann. Pure Appl. Log..
[8] Sven Schewe,et al. Symmetric Strategy Improvement , 2015, ICALP.
[9] Martin Zimmermann,et al. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs , 2016, Log. Methods Comput. Sci..
[10] Henrik Björklund,et al. A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games , 2007, Discrete Applied Mathematics.
[11] Cristian S. Calude,et al. Deciding parity games in quasipolynomial time , 2017, STOC.
[12] Sven Schewe,et al. Parity Games with Weights , 2018, CSL.
[13] A. Puri. Theory of hybrid systems and discrete event systems , 1996 .
[14] Krishnendu Chatterjee,et al. Infinite-state games with finitary conditions , 2013, CSL.
[15] Krishnendu Chatterjee,et al. Finitary winning in w-regular games , 2006 .
[16] Somesh Jha,et al. An Improved Algorithm for the Evaluation of Fixpoint Expressions , 1997, Theor. Comput. Sci..
[17] Marcin Jurdziński,et al. Deciding the Winner in Parity Games is in UP \cap co-Up , 1998, Inf. Process. Lett..
[18] Krishnendu Chatterjee,et al. Finitary winning in ω-regular games , 2009, TOCL.
[19] Marcin Jurdzinski,et al. Succinct progress measures for solving parity games , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[20] Aniello Murano,et al. On Promptness in Parity Games , 2015, Fundam. Informaticae.