Výsledky vyhledávání
- 1.0369977 - MÚ 2012 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Hansen, A. K. - Koucký, Michal - Lauritzen, N. - Miltersen, P.B. - Tsigaridas, E.P.
Exact algorithms for solving stochastic games.
Proceedings of the 43rd annual ACM Symposium on Theory of Computing (STOC 2011). New York: ACM, 2011 - (Fortnow, L.; Vadhan, S.), s. 205-214. ISBN 978-1-4503-0691-1.
[43rd annual ACM symposium on Theory of computing (STOC 2011). San José (US), 06.06.2011-08.06.2011]
Grant CEP: GA ČR GAP202/10/0854; GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: stochastic games * recursive games * algorithms
Kód oboru RIV: BA - Obecná matematika
http://dl.acm.org/citation.cfm?doid=1993636.1993665
Trvalý link: http://hdl.handle.net/11104/0203909Název souboru Staženo Velikost Komentář Verze Přístup Koucky2.pdf 1 457.5 KB Autorský postprint vyžádat - 2.0336087 - MÚ 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Hansen, K.A. - Koucký, Michal - Miltersen, P.B.
Winning concurrent reachability games requires doubly-exponential patience.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LISC 2009. Los Angeles: IEEE Computer Society, 2009, s. 332-341. ISBN 978-0-7695-3746-7. ISSN 1043-6871.
[24th Annual IEEE Symposium on Logic in Computer Science. Los Angeles (US), 11.08.2009-14.08.2009]
Grant CEP: GA ČR GP201/07/P276; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: concurrent reachability game * patience * winning strategies
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0180404Název souboru Staženo Velikost Komentář Verze Přístup Koucky1.pdf 1 284 KB Vydavatelský postprint vyžádat