Stability in graphs and games
We study graphs and two-player games in which rewards are assigned to states, and the goal of the players is to satisfy or dissatisfy certain property of the generated outcome, given as a mean payoff property. Since the notion of mean-payoff does not reflect possible fluctuations from the mean-payof...
প্রধান লেখক: | Brázdil, T, Forejt, V, Kučera, A, Novotný, P |
---|---|
বিন্যাস: | Conference item |
প্রকাশিত: |
Schloss Dagstuhl
2016
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Trading performance for stability in Markov decision processes
অনুযায়ী: Brazdil, T, অন্যান্য
প্রকাশিত: (2016) -
Trading Performance for Stability in Markov Decision Processes
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2013) -
Continuous-Time Stochastic Games with Time-Bounded Reachability.
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2009) -
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2008) -
Reachability in recursive Markov decision processes.
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2008)