Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991629437> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1991629437 endingPage "67" @default.
- W1991629437 startingPage "53" @default.
- W1991629437 abstract "We study time-bounded reachability in continuous-time Markov decision processes (CTMDPs) and games (CTGs) for time-abstract scheduler classes. Reachability problems play a paramount rôle in probabilistic model checking. Consequently, their analysis has been studied intensively, and approximation techniques are well understood. From a mathematical point of view, however, the question of approximation is secondary compared to the fundamental question whether or not optimal control exists. In this article, we demonstrate the existence of optimal schedulers for the time-abstract scheduler classes for CTMDPs. For CTGs, we distinguish two cases: the simple case where both players face the same restriction to use time-abstract strategies (symmetric CTGs) and the case where one player is a completely informed adversary (asymmetric CTGs). While for the former case optimal strategies exist, we prove that for asymmetric CTGs there is not necessarily a scheduler that attains the optimum. It turns out that for CTMDPs and symmetric CTGs optimal time-abstract schedulers have an amazingly simple structure: they converge to a memoryless scheduling policy after a finite number of steps. This allows us to compute time-abstract strategies with finite memory." @default.
- W1991629437 created "2016-06-24" @default.
- W1991629437 creator A5041836791 @default.
- W1991629437 creator A5072217103 @default.
- W1991629437 date "2013-01-01" @default.
- W1991629437 modified "2023-09-26" @default.
- W1991629437 title "Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games" @default.
- W1991629437 cites W1496590343 @default.
- W1991629437 cites W1556729131 @default.
- W1991629437 cites W1781946001 @default.
- W1991629437 cites W1974265644 @default.
- W1991629437 cites W1986755980 @default.
- W1991629437 cites W2020204292 @default.
- W1991629437 cites W2029631728 @default.
- W1991629437 cites W2036426733 @default.
- W1991629437 cites W2041226400 @default.
- W1991629437 cites W2063746348 @default.
- W1991629437 cites W2075222142 @default.
- W1991629437 cites W2085298577 @default.
- W1991629437 cites W2119567691 @default.
- W1991629437 cites W2152342144 @default.
- W1991629437 cites W2155049486 @default.
- W1991629437 cites W2162378322 @default.
- W1991629437 cites W2168234479 @default.
- W1991629437 cites W2171920512 @default.
- W1991629437 cites W2244458880 @default.
- W1991629437 cites W2341171179 @default.
- W1991629437 doi "https://doi.org/10.1016/j.tcs.2012.10.001" @default.
- W1991629437 hasPublicationYear "2013" @default.
- W1991629437 type Work @default.
- W1991629437 sameAs 1991629437 @default.
- W1991629437 citedByCount "9" @default.
- W1991629437 countsByYear W19916294372013 @default.
- W1991629437 countsByYear W19916294372015 @default.
- W1991629437 countsByYear W19916294372016 @default.
- W1991629437 countsByYear W19916294372017 @default.
- W1991629437 countsByYear W19916294372019 @default.
- W1991629437 crossrefType "journal-article" @default.
- W1991629437 hasAuthorship W1991629437A5041836791 @default.
- W1991629437 hasAuthorship W1991629437A5072217103 @default.
- W1991629437 hasBestOaLocation W19916294371 @default.
- W1991629437 hasConcept C105795698 @default.
- W1991629437 hasConcept C106189395 @default.
- W1991629437 hasConcept C111472728 @default.
- W1991629437 hasConcept C119857082 @default.
- W1991629437 hasConcept C126255220 @default.
- W1991629437 hasConcept C134306372 @default.
- W1991629437 hasConcept C136643341 @default.
- W1991629437 hasConcept C138885662 @default.
- W1991629437 hasConcept C154945302 @default.
- W1991629437 hasConcept C159886148 @default.
- W1991629437 hasConcept C206729178 @default.
- W1991629437 hasConcept C2780586882 @default.
- W1991629437 hasConcept C33923547 @default.
- W1991629437 hasConcept C34388435 @default.
- W1991629437 hasConcept C41008148 @default.
- W1991629437 hasConcept C49937458 @default.
- W1991629437 hasConcept C80444323 @default.
- W1991629437 hasConcept C98763669 @default.
- W1991629437 hasConceptScore W1991629437C105795698 @default.
- W1991629437 hasConceptScore W1991629437C106189395 @default.
- W1991629437 hasConceptScore W1991629437C111472728 @default.
- W1991629437 hasConceptScore W1991629437C119857082 @default.
- W1991629437 hasConceptScore W1991629437C126255220 @default.
- W1991629437 hasConceptScore W1991629437C134306372 @default.
- W1991629437 hasConceptScore W1991629437C136643341 @default.
- W1991629437 hasConceptScore W1991629437C138885662 @default.
- W1991629437 hasConceptScore W1991629437C154945302 @default.
- W1991629437 hasConceptScore W1991629437C159886148 @default.
- W1991629437 hasConceptScore W1991629437C206729178 @default.
- W1991629437 hasConceptScore W1991629437C2780586882 @default.
- W1991629437 hasConceptScore W1991629437C33923547 @default.
- W1991629437 hasConceptScore W1991629437C34388435 @default.
- W1991629437 hasConceptScore W1991629437C41008148 @default.
- W1991629437 hasConceptScore W1991629437C49937458 @default.
- W1991629437 hasConceptScore W1991629437C80444323 @default.
- W1991629437 hasConceptScore W1991629437C98763669 @default.
- W1991629437 hasLocation W19916294371 @default.
- W1991629437 hasOpenAccess W1991629437 @default.
- W1991629437 hasPrimaryLocation W19916294371 @default.
- W1991629437 hasRelatedWork W1492158240 @default.
- W1991629437 hasRelatedWork W1497573972 @default.
- W1991629437 hasRelatedWork W2121954744 @default.
- W1991629437 hasRelatedWork W2757133052 @default.
- W1991629437 hasRelatedWork W2914493460 @default.
- W1991629437 hasRelatedWork W3032717647 @default.
- W1991629437 hasRelatedWork W3099114572 @default.
- W1991629437 hasRelatedWork W3140738360 @default.
- W1991629437 hasRelatedWork W3198596521 @default.
- W1991629437 hasRelatedWork W3216211072 @default.
- W1991629437 hasVolume "467" @default.
- W1991629437 isParatext "false" @default.
- W1991629437 isRetracted "false" @default.
- W1991629437 magId "1991629437" @default.
- W1991629437 workType "article" @default.