2011): Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs (0)

by Oliver Friedmann
Venue:Ph.D. thesis, Ludwig-Maximilians-University Munich. Available at http://edoc.ub.uni-muenchen.de/13294
Add To MetaCart
Results 1 - 2 of 2

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

by Felix Canavoi, Erich Grädel, Roman Rabinovich
"... ..."
Abstract - Add to MetaCart
Abstract not found
(Show Context)

M. Faella, A. Murano (Eds.): Games, Automata, Logics and Formal Verification (GandALF 2012)

by Felix Canavoi, Erich Grädel, Roman Rabinovich
"... This work is dedicated to the public domain. The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs ..."
Abstract - Add to MetaCart
This work is dedicated to the public domain. The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
(Show Context)