| Document Date: 2012-02-10 07:43:16
Open Document File Size: 323,41 KBShare Result on Facebook
City San Juan / / Company CONCUR / / Country Puerto Rico / / / IndustryTerm deterministic solution / strategy iteration algorithms / deterministic subexponential algorithm / recursive algorithm / strategy improvement algorithm / big-step algorithm / model-checking algorithm / divide-andconquer algorithm / parity game strategy improvement algorithm / divide-and-conquer algorithm / strategy improvement algorithms / parity game solving algorithms / / Organization Exponential Time Oliver Friedmann Institut f¨ / / Person Martin Lange / Vn / Proc / Sven Schewe / Oliver Friedmann / / Position s.t. player / editor / iff player / ei Player / player / / Product Latte W10 Portable Audio Device / / Technology parity game solving algorithms / two strategy improvement algorithms / divide-andconquer algorithm / deterministic subexponential algorithm / big-step algorithm / parity game strategy improvement algorithm / model-checking algorithm / strategy iteration algorithms / recursive algorithm / 1 Recursive Algorithm / divide-and-conquer algorithm / B. The algorithm / strategy improvement algorithm / /
SocialTag |
Recursive Algorithm for Parity Games requires Exponential Time Oliver Friedmann Institut f¨ ur Informatik, LMU M¨