Folgen
Oliver Friedmann
Oliver Friedmann
Bestätigte E-Mail-Adresse bei ifi.lmu.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Solving parity games in practice
O Friedmann, M Lange
International Symposium on Automated Technology for Verification and …, 2009
1372009
An exponential lower bound for the parity game strategy improvement algorithm as we know it
O Friedmann
2009 24th Annual IEEE Symposium on Logic In Computer Science, 145-156, 2009
1102009
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
O Friedmann, TD Hansen, U Zwick
Proceedings of the forty-third annual ACM symposium on Theory of computing …, 2011
952011
A subexponential lower bound for Zadeh’s pivoting rule for solving linear programs and games
O Friedmann
International Conference on Integer Programming and Combinatorial …, 2011
772011
The PGSolver collection of parity game solvers
O Friedmann, M Lange
University of Munich, 4-6, 2009
502009
An exponential lower bound for the latest deterministic strategy iteration algorithms
O Friedmann
Logical Methods in Computer Science 7, 2011
422011
A Decision Procedure for CTL* Based on Tableaux and Automata
O Friedmann, M Latte, M Lange
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
412010
Recursive algorithm for parity games requires exponential time
O Friedmann
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2011
392011
A solver for modal fixpoint logics
O Friedmann, M Lange
Electronic Notes in Theoretical Computer Science 262, 99-111, 2010
372010
On guarded transformation in the modal μ-calculus
F Bruse, O Friedmann, M Lange
Logic Journal of the IGPL 23 (2), 194-216, 2015
332015
Exponential lower bounds for solving infinitary payoff games and linear programs
O Friedmann
lmu, 2011
242011
A subexponential lower bound for the random facet algorithm for parity games
O Friedmann, TD Hansen, U Zwick
Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete …, 2011
232011
An exponential lower bound for Cunningham’s rule
D Avis, O Friedmann
Mathematical Programming 161, 271-305, 2017
212017
Deciding the unguarded modal-calculus
O Friedmann, M Lange
Journal of Applied Non-Classical Logics 23 (4), 353-371, 2013
152013
The Modal μ-Calculus Caught Off Guard
O Friedmann, M Lange
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
142011
An exponential lower bound for Zadeh’s pivot rule
Y Disser, O Friedmann, AV Hopp
Mathematical Programming 199 (1), 865-936, 2023
132023
A superpolynomial lower bound for strategy iteration based on snare memorization
O Friedmann
Discrete Applied Mathematics 161 (10-11), 1317-1337, 2013
112013
Local strategy improvement for parity game solving
O Friedmann, M Lange
arXiv preprint arXiv:1006.1409, 2010
102010
A super-polynomial lower bound for the parity game strategy improvement algorithm as we know it
O Friedmann
arXiv preprint arXiv:0901.2731, 2009
102009
Ramsey-based analysis of parity automata
O Friedmann, M Lange
International Conference on Tools and Algorithms for the Construction and …, 2012
92012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20