Search results for "Parity Game"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FOSSACS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
2	Min Jiang, Changle Zhou, Guoqing Wu, Fan Zhang	A CSP-Based Approach for Solving Parity Game.	FAW	2008	DBLP DOI BibTeX RDF
1	Oliver Friedmann, Martin Lange	Local Strategy Improvement for Parity Game Solving	GANDALF	2010	DBLP DOI BibTeX RDF
1	Oliver Friedmann	A Super-Polynomial Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it	CoRR	2009	DBLP BibTeX RDF
1	Oliver Friedmann	An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it.	LICS	2009	DBLP DOI BibTeX RDF
1	Saqib Sohail, Fabio Somenzi	Safety first: A two-stage algorithm for LTL games.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Oliver Friedmann, Martin Lange	Solving Parity Games in Practice.	ATVA	2009	DBLP DOI BibTeX RDF
1	Matthew Hague, C.-H. Luke Ong	Winning Regions of Pushdown Parity Games: A Saturation Method.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner	Solving µ-Calculus Parity Games by Symbolic Planning.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Marco Faella	An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.	CAV	2007	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong	On Model-Checking Trees Generated by Higher-Order Recursion Schemes.	LICS	2006	DBLP DOI BibTeX RDF
1	Olivier Serre	Parity Games Played on Transition Graphs of One-Counter Processes.	FoSSaCS	2006	DBLP DOI BibTeX RDF
1	Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer	DAG-Width and Parity Games.	STACS	2006	DBLP DOI BibTeX RDF
1	Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz	Unsafe Grammars and Panic Automata.	ICALP	2005	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger	Quantitative stochastic parity games.	SODA	2004	DBLP DOI BibTeX RDF
1	Jan Obdrzálek	Fast Mu-Calculus Model Checking when Tree-Width Is Bounded.	CAV	2003	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger	Simple Stochastic Parity Games.	CSL	2003	DBLP DOI BibTeX RDF
1	André Arnold, Luigi Santocanale	Ambiguous Classes in the Games µ-Calculus Hierarchy.	FoSSaCS	2003	DBLP DOI BibTeX RDF
1	Kousha Etessami, Thomas Wilke, Rebecca A. Schuller	Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata.	ICALP	2001	DBLP DOI BibTeX RDF