Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Oliver Friedmann
Map detail
Oliver Friedmann8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOliver FriedmannAOliver FriedmannResearcherLocal Strategy Improvement for Parity Game SolvingWLocal Strategy Improvem...preprint / 2010Errata for: A subexponential lower bound for the Random Facet algorithm for Parity GamesWErrata for: A subexpone...preprint / 2014Random-Facet and Random-Bland require subexponential time even for shortest pathsWRandom-Facet and Random...preprint / 2014An Exponential Lower Bound for the Latest Deterministic Strategy Iteration AlgorithmsWAn Exponential Lower Bo...preprint / 2011Satisfiability Games for Branching-Time LogicsWSatisfiability Games fo...preprint / 2013An exponential lower bound for Cunningham's ruleWAn exponential lower bo...preprint / 2013On Guarded Transformation In The Modal Mu-CalculusWOn Guarded Transformati...preprint / 2013
Person7 links

Oliver Friedmann

Researcher