Oebele Lijzenga

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Symbolic Parity Game Solvers that Yield Winning Strategies	2020	Oebele Lijzenga Tom van Dijk

Common Coauthors

Coauthor	Papers Together
Tom van Dijk	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	The Fixpoint-Iteration Algorithm for Parity Games	2014	Florian Bruse Michael Falk Martin Lange	1
+ PDF Chat	On the complexity of branching programs and decision trees for clique functions	1988	Ingo Wegener	1
+ PDF Chat	Oink: An Implementation and Evaluation of Modern Parity Game Solvers	2018	Tom van Dijk	1
+	Attracting Tangles to Solve Parity Games	2018	Tom van Dijk	1
+ PDF Chat	A Comparison of BDD-Based Parity Game Solvers	2018	Lisette Sanchez Wieger Wesselink Tim A. C. Willemse	1
+ PDF Chat	An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space	2019	John Fearnley Sanjay Jain Bart de Keijzer Sven Schewe Frank Stephan Dominik Wojtczak	1
+	Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time	2019	Paweł Parys	1
+ PDF Chat	Simple Fixpoint Iteration To Solve Parity Games	2019	Tom van Dijk Bob Rubbens	1
+	The Extended HOA Format for Synthesis	2019	Guillermo A. Pérez	1
+ PDF Chat	Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games	2019	Wojciech Czerwiński Laure Daviaud Nathanaël Fijalkow Marcin Jurdziński Ranko Lazić Paweł Parys	1
+ PDF Chat	Quasipolynomial Set-Based Symbolic Algorithms for Parity Games	2018	Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Alexander Svozil	1
+ PDF Chat	Generating and Solving Symbolic Parity Games	2014	Gijs Kant Jaco van de Pol	1
+ PDF Chat	The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results	2017	Swen Jacobs Nicolas Basset Roderick Bloem Romain Brenguier Maximilien Colange Peter Faymonville Bernd Finkbeiner Ayrat Khalimov F. Klein Thibaud Michaud	1
+	The Extended HOA Format for Synthesis	2019	Guillermo A. Pérez	1