| Document Date: 2012-02-10 07:43:10
Open Document File Size: 121,42 KBShare Result on Facebook
Company Creative Commons / / Country Germany / / Event Product Recall / Product Issues / / Facility arena AG / Computer Science University of Kassel / Computer Science University of Munich / arena w.r.t. / / IndustryTerm recursive algorithm / strategy improvement algorithm / local algorithm / depth-first search / local model checking algorithm / parity game solving algorithm / finite-state systems / strategy improvement algorithms / local strategy improvement algorithm / / Organization Computer Science University of Kassel / Computer Science University of Munich / / Person Wc / Oliver Friedmann Martin Lange / / Position SI w.r.t. player / s.t. player / current player / given player / winning player / player / total reward ordering w.r.t. player / controller / / Product parity games / / Technology local model checking algorithm / SI algorithms / parity game solving algorithm / 10 Algorithm / 7 Algorithm / SI algorithm / 9 Algorithm / dom / strategy improvement algorithms / local strategy improvement algorithm / recursive algorithm / local SI algorithm / local algorithm / presented algorithm / strategy improvement algorithm / /
SocialTag |
Local Strategy Improvement for Parity Game Solving Oliver Friedmann Martin Lange Dept. of Computer Science