Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Wiltsche, C."'
Publikováno v:
In Information and Computation August 2018 261 Part 3:536-587
Autor:
Wiltsche, C
This thesis presents a framework for the automatic strategy synthesis from quantitative specifications, in order to control autonomous systems. We model systems as turn-based two-player zero-sum stochastic games, which are able to express both stocha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::f5fa2af50f485678cffcaedc5dd8424a
https://ora.ox.ac.uk/objects/uuid:f4ec96ce-7032-4c5b-ac25-0e0b6764e3da
https://ora.ox.ac.uk/objects/uuid:f4ec96ce-7032-4c5b-ac25-0e0b6764e3da
We consider turn-based stochastic games whose winning conditions are conjunctions of satisfaction objectives for long-run average rewards, and address the problem of finding a strategy that almost surely maintains the averages above a given multi-dim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::41d633d640a25f72d44699dfd830507e
http://ora.ox.ac.uk/objects/uuid:973b1755-d309-466f-955d-208c23e58aea
http://ora.ox.ac.uk/objects/uuid:973b1755-d309-466f-955d-208c23e58aea
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.
Kniha
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.
Conference
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.
Kniha
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.
Kniha
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.
Conference
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.