Attributes | Values |
---|
rdf:type
| |
Description
| - We study continuous-time stochastic games with time-bounded reachability objectives. We show that each vertex in such a game has a value (i.e., an equilibrium probability), and we classify the conditions under which optimal strategies exist. Finally, we show how to compute optimal strategies in finite uniform games, and how to compute e-optimal strategies in finitely-branching games with bounded rates (for finite games, we provide detailed complexity estimations).
- We study continuous-time stochastic games with time-bounded reachability objectives. We show that each vertex in such a game has a value (i.e., an equilibrium probability), and we classify the conditions under which optimal strategies exist. Finally, we show how to compute optimal strategies in finite uniform games, and how to compute e-optimal strategies in finitely-branching games with bounded rates (for finite games, we provide detailed complexity estimations). (en)
|
Title
| - Continuous-Time Stochastic Games with Time-Bounded Reachability
- Continuous-Time Stochastic Games with Time-Bounded Reachability (en)
|
skos:prefLabel
| - Continuous-Time Stochastic Games with Time-Bounded Reachability
- Continuous-Time Stochastic Games with Time-Bounded Reachability (en)
|
skos:notation
| - RIV/00216224:14330/09:00038704!RIV10-MSM-14330___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1M0545), Z(MSM0021622419)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/09:00038704
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - continuous time games; reachability (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009)
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Brázdil, Tomáš
- Forejt, Vojtěch
- Krčál, Jan
- Kučera, Antonín
- Křetínský, Jan
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |