Zobrazeno 1 - 10
of 107
pro vyhledávání: '"fixpoints"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Strategy iteration is a technique frequently used for two-player games in order to determine the winner or compute payoffs, but to the best of our knowledge no general framework for strategy iteration has been considered. Inspired by previous work on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30ea09d51c42228292f653c40c7855f7
https://hdl.handle.net/11577/3474660
https://hdl.handle.net/11577/3474660
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bhattacharyya, P.
Publikováno v:
Transactions of the American Mathematical Society, 1971 Jan 01. 153, 89-98.
Externí odkaz:
https://www.jstor.org/stable/1995549
Autor:
Cosimo Laneve, Naoki Kobayashi
Publikováno v:
Information and Computation
Information and Computation, Elsevier, 2017, 252, pp.48-70. ⟨10.1016/j.ic.2016.03.004⟩
Information and Computation, 2017, 252, pp.48-70. ⟨10.1016/j.ic.2016.03.004⟩
Information and Computation, Elsevier, 2017, 252, pp.48-70. ⟨10.1016/j.ic.2016.03.004⟩
Information and Computation, 2017, 252, pp.48-70. ⟨10.1016/j.ic.2016.03.004⟩
International audience; Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers or do not scale. To enable the analysis of such programs, (1) we d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7bc7a3f528687a9f751a96e0334a972
https://doi.org/10.1016/j.ic.2016.03.004
https://doi.org/10.1016/j.ic.2016.03.004
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.