Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287660132> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4287660132 abstract "This paper studies parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. Fixing values for all parameters yields MDPs. In particular, this paper studies the complexity of finding values for these parameters such that the induced MDP satisfies some reachability constraints. We discuss different variants depending on the comparison operator in the constraints and the domain of the parameter values. We improve all known lower bounds for this problem, and notably provide ETR-completeness results for distinct variants of this problem. Furthermore, we provide insights in the functions describing the induced reachability probabilities, and how pMDPs generalise concurrent stochastic reachability games." @default.
- W4287660132 created "2022-07-25" @default.
- W4287660132 creator A5015114145 @default.
- W4287660132 creator A5018941708 @default.
- W4287660132 creator A5053423392 @default.
- W4287660132 creator A5090819329 @default.
- W4287660132 date "2019-04-02" @default.
- W4287660132 modified "2023-09-24" @default.
- W4287660132 title "On the Complexity of Reachability in Parametric Markov Decision Processes" @default.
- W4287660132 doi "https://doi.org/10.48550/arxiv.1904.01503" @default.
- W4287660132 hasPublicationYear "2019" @default.
- W4287660132 type Work @default.
- W4287660132 citedByCount "0" @default.
- W4287660132 crossrefType "posted-content" @default.
- W4287660132 hasAuthorship W4287660132A5015114145 @default.
- W4287660132 hasAuthorship W4287660132A5018941708 @default.
- W4287660132 hasAuthorship W4287660132A5053423392 @default.
- W4287660132 hasAuthorship W4287660132A5090819329 @default.
- W4287660132 hasBestOaLocation W42876601321 @default.
- W4287660132 hasConcept C105795698 @default.
- W4287660132 hasConcept C106189395 @default.
- W4287660132 hasConcept C11413529 @default.
- W4287660132 hasConcept C115988155 @default.
- W4287660132 hasConcept C117251300 @default.
- W4287660132 hasConcept C118615104 @default.
- W4287660132 hasConcept C119857082 @default.
- W4287660132 hasConcept C126255220 @default.
- W4287660132 hasConcept C134306372 @default.
- W4287660132 hasConcept C136643341 @default.
- W4287660132 hasConcept C159886148 @default.
- W4287660132 hasConcept C17098449 @default.
- W4287660132 hasConcept C17231256 @default.
- W4287660132 hasConcept C177264268 @default.
- W4287660132 hasConcept C199360897 @default.
- W4287660132 hasConcept C2778029271 @default.
- W4287660132 hasConcept C33923547 @default.
- W4287660132 hasConcept C36503486 @default.
- W4287660132 hasConcept C41008148 @default.
- W4287660132 hasConcept C80444323 @default.
- W4287660132 hasConcept C98763669 @default.
- W4287660132 hasConceptScore W4287660132C105795698 @default.
- W4287660132 hasConceptScore W4287660132C106189395 @default.
- W4287660132 hasConceptScore W4287660132C11413529 @default.
- W4287660132 hasConceptScore W4287660132C115988155 @default.
- W4287660132 hasConceptScore W4287660132C117251300 @default.
- W4287660132 hasConceptScore W4287660132C118615104 @default.
- W4287660132 hasConceptScore W4287660132C119857082 @default.
- W4287660132 hasConceptScore W4287660132C126255220 @default.
- W4287660132 hasConceptScore W4287660132C134306372 @default.
- W4287660132 hasConceptScore W4287660132C136643341 @default.
- W4287660132 hasConceptScore W4287660132C159886148 @default.
- W4287660132 hasConceptScore W4287660132C17098449 @default.
- W4287660132 hasConceptScore W4287660132C17231256 @default.
- W4287660132 hasConceptScore W4287660132C177264268 @default.
- W4287660132 hasConceptScore W4287660132C199360897 @default.
- W4287660132 hasConceptScore W4287660132C2778029271 @default.
- W4287660132 hasConceptScore W4287660132C33923547 @default.
- W4287660132 hasConceptScore W4287660132C36503486 @default.
- W4287660132 hasConceptScore W4287660132C41008148 @default.
- W4287660132 hasConceptScore W4287660132C80444323 @default.
- W4287660132 hasConceptScore W4287660132C98763669 @default.
- W4287660132 hasLocation W42876601321 @default.
- W4287660132 hasLocation W42876601322 @default.
- W4287660132 hasLocation W42876601323 @default.
- W4287660132 hasLocation W42876601324 @default.
- W4287660132 hasOpenAccess W4287660132 @default.
- W4287660132 hasPrimaryLocation W42876601321 @default.
- W4287660132 hasRelatedWork W102453 @default.
- W4287660132 hasRelatedWork W11809405 @default.
- W4287660132 hasRelatedWork W1279312 @default.
- W4287660132 hasRelatedWork W4776762 @default.
- W4287660132 hasRelatedWork W491107 @default.
- W4287660132 hasRelatedWork W5133103 @default.
- W4287660132 hasRelatedWork W5718419 @default.
- W4287660132 hasRelatedWork W5876636 @default.
- W4287660132 hasRelatedWork W7587899 @default.
- W4287660132 hasRelatedWork W8540740 @default.
- W4287660132 isParatext "false" @default.
- W4287660132 isRetracted "false" @default.
- W4287660132 workType "article" @default.