Search results for "mean-payoff games"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jakub Chaloupka	Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation.	ESA	2009	DBLP DOI BibTeX RDF	mean-payoff games, parallel algorithms, experimental evaluation
2	Uri Zwick	Simple Stochastic Games, Mean Payoff Games, Parity Games.	CSR	2008	DBLP DOI BibTeX RDF
2	Nir Halman	Simple Stochastic Games, Parity Games, Mean Payoff Games and Discounted Payoff Games Are All LP-Type Problems.	Algorithmica	2007	DBLP DOI BibTeX RDF
2	Ola Svensson, Sergei G. Vorobyov	Linear Programming Polytope and Algorithm for Mean Payoff Games.	AAIM	2006	DBLP DOI BibTeX RDF
2	Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov	A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games.	MFCS	2004	DBLP DOI BibTeX RDF
1	Marianne Akian, Stéphane Gaubert, Alexander E. Guterman	Tropical Polyhedra are Equivalent to mean Payoff Games.	IJAC	2012	DBLP DOI BibTeX RDF
1	Albert Atserias, Elitza N. Maneva	Mean-payoff games and propositional proofs.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin	Faster algorithms for mean-payoff games.	Formal Methods in System Design	2011	DBLP DOI BibTeX RDF
1	Endre Boros, Khaled M. Elbassioni, Mahmoud Fouz, Vladimir Gurvich, Kazuhisa Makino, Bodo Manthey	Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes.	ICALP	2011	DBLP DOI BibTeX RDF
1	Albert Atserias, Elitza N. Maneva	Mean-payoff games and propositional proofs.	Electronic Colloquium on Computational Complexity (ECCC)	2010	DBLP BibTeX RDF
1	Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz	Tropical polar cones, hypergraph transversals, and mean payoff games	CoRR	2010	DBLP BibTeX RDF
1	Hugo Gimbert, Wieslaw Zielonka	Blackwell-Optimal Strategies in Priority Mean-Payoff Games	GANDALF	2010	DBLP DOI BibTeX RDF
1	Albert Atserias, Elitza N. Maneva	Mean-Payoff Games and Propositional Proofs.	ICALP	2010	DBLP DOI BibTeX RDF
1	Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino	A Pumping Algorithm for Ergodic Stochastic Mean Payoff Games with Perfect Information.	IPCO	2010	DBLP DOI BibTeX RDF
1	Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk	Energy and Mean-Payoff Games with Imperfect Information.	CSL	2010	DBLP DOI BibTeX RDF
1	Jakub Chaloupka, Lubos Brim	Faster Algorithm for Mean-Payoff Games.	MEMICS	2009	DBLP BibTeX RDF
1	Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann	Better Quality in Synthesis through Quantitative Objectives.	CAV	2009	DBLP DOI BibTeX RDF
1	Thomas Gawlitza, Helmut Seidl	Games through Nested Fixpoints.	CAV	2009	DBLP DOI BibTeX RDF
1	Daniel Andersson, Peter Bro Miltersen	The Complexity of Solving Stochastic Games on Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF
1	Sven Schewe	From Parity and Payoff Games to Linear Programming.	MFCS	2009	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger	Reduction of stochastic parity to stochastic mean-payoff games.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
1	Vladimir Gurvich, Peter Bro Miltersen	On the computational complexity of solving stochastic mean-payoff games	CoRR	2008	DBLP BibTeX RDF
1	Hugo Gimbert, Wieslaw Zielonka	Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games.	Logic and Automata	2008	DBLP BibTeX RDF
1	Florian Horn, Wolfgang Thomas, Nico Wallmeier	Optimal Strategy Synthesis in Request-Response Games.	ATVA	2008	DBLP DOI BibTeX RDF
1	Henrik Björklund, Sergei G. Vorobyov	A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games.	Discrete Applied Mathematics	2007	DBLP DOI BibTeX RDF
1	Nir Halman	Simple Stochastic Games, Parity Games, Mean Payoff Games and Discounted Payoff Games are all LP-Type Problems.	Equilibrium Computation	2007	DBLP BibTeX RDF
1	Hugo Gimbert, Wieslaw Zielonka	Deterministic Priority Mean-Payoff Games as Limits of Discounted Games.	ICALP	2006	DBLP DOI BibTeX RDF
1	Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov	Memoryless determinacy of parity and mean payoff games: a simple proof.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Uri Zwick, Mike Paterson	The Complexity of Mean Payoff Games on Graphs.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
1	Uri Zwick, Mike Paterson	The Complexity of Mean Payoff Games on Graphs	Electronic Colloquium on Computational Complexity (ECCC)	1995	DBLP BibTeX RDF
1	Uri Zwick, Mike Paterson	The Complexity of Mean Payoff Games.	COCOON	1995	DBLP DOI BibTeX RDF