Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058117005> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2058117005 endingPage "954" @default.
- W2058117005 startingPage "945" @default.
- W2058117005 abstract "Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior and are not suitable for realistic systems that operate in the presence of uncertainty and variability. This research note extends existing methods for Bounded-parameter Markov Decision Processes (BMDPs) to solve the reachability problem. BMDPs are a generalization of MDPs that allows modeling uncertainty. Our results show that interval value iteration converges in the case of an undiscounted reward criterion that is required to formulate the problems of maximizing the probability of reaching a set of desirable states or minimizing the probability of reaching an unsafe set. Analysis of the computational complexity is also presented." @default.
- W2058117005 created "2016-06-24" @default.
- W2058117005 creator A5023397404 @default.
- W2058117005 creator A5090899388 @default.
- W2058117005 date "2008-05-01" @default.
- W2058117005 modified "2023-09-27" @default.
- W2058117005 title "Reachability analysis of uncertain systems using bounded-parameter Markov decision processes" @default.
- W2058117005 cites W1497711688 @default.
- W2058117005 cites W1965878388 @default.
- W2058117005 cites W1988217924 @default.
- W2058117005 cites W2036931518 @default.
- W2058117005 cites W2124431017 @default.
- W2058117005 cites W2138427871 @default.
- W2058117005 cites W2155640779 @default.
- W2058117005 cites W4249610466 @default.
- W2058117005 cites W4255368532 @default.
- W2058117005 doi "https://doi.org/10.1016/j.artint.2007.12.002" @default.
- W2058117005 hasPublicationYear "2008" @default.
- W2058117005 type Work @default.
- W2058117005 sameAs 2058117005 @default.
- W2058117005 citedByCount "31" @default.
- W2058117005 countsByYear W20581170052012 @default.
- W2058117005 countsByYear W20581170052014 @default.
- W2058117005 countsByYear W20581170052015 @default.
- W2058117005 countsByYear W20581170052016 @default.
- W2058117005 countsByYear W20581170052017 @default.
- W2058117005 countsByYear W20581170052019 @default.
- W2058117005 countsByYear W20581170052020 @default.
- W2058117005 countsByYear W20581170052021 @default.
- W2058117005 countsByYear W20581170052022 @default.
- W2058117005 countsByYear W20581170052023 @default.
- W2058117005 crossrefType "journal-article" @default.
- W2058117005 hasAuthorship W2058117005A5023397404 @default.
- W2058117005 hasAuthorship W2058117005A5090899388 @default.
- W2058117005 hasBestOaLocation W20581170051 @default.
- W2058117005 hasConcept C105795698 @default.
- W2058117005 hasConcept C106189395 @default.
- W2058117005 hasConcept C119857082 @default.
- W2058117005 hasConcept C126255220 @default.
- W2058117005 hasConcept C134306372 @default.
- W2058117005 hasConcept C136643341 @default.
- W2058117005 hasConcept C154945302 @default.
- W2058117005 hasConcept C159886148 @default.
- W2058117005 hasConcept C163836022 @default.
- W2058117005 hasConcept C17098449 @default.
- W2058117005 hasConcept C33923547 @default.
- W2058117005 hasConcept C34388435 @default.
- W2058117005 hasConcept C41008148 @default.
- W2058117005 hasConcept C80444323 @default.
- W2058117005 hasConcept C98763669 @default.
- W2058117005 hasConceptScore W2058117005C105795698 @default.
- W2058117005 hasConceptScore W2058117005C106189395 @default.
- W2058117005 hasConceptScore W2058117005C119857082 @default.
- W2058117005 hasConceptScore W2058117005C126255220 @default.
- W2058117005 hasConceptScore W2058117005C134306372 @default.
- W2058117005 hasConceptScore W2058117005C136643341 @default.
- W2058117005 hasConceptScore W2058117005C154945302 @default.
- W2058117005 hasConceptScore W2058117005C159886148 @default.
- W2058117005 hasConceptScore W2058117005C163836022 @default.
- W2058117005 hasConceptScore W2058117005C17098449 @default.
- W2058117005 hasConceptScore W2058117005C33923547 @default.
- W2058117005 hasConceptScore W2058117005C34388435 @default.
- W2058117005 hasConceptScore W2058117005C41008148 @default.
- W2058117005 hasConceptScore W2058117005C80444323 @default.
- W2058117005 hasConceptScore W2058117005C98763669 @default.
- W2058117005 hasIssue "8-9" @default.
- W2058117005 hasLocation W20581170051 @default.
- W2058117005 hasLocation W20581170052 @default.
- W2058117005 hasOpenAccess W2058117005 @default.
- W2058117005 hasPrimaryLocation W20581170051 @default.
- W2058117005 hasRelatedWork W1551379884 @default.
- W2058117005 hasRelatedWork W2005003293 @default.
- W2058117005 hasRelatedWork W2026691440 @default.
- W2058117005 hasRelatedWork W2095807485 @default.
- W2058117005 hasRelatedWork W2096013579 @default.
- W2058117005 hasRelatedWork W2120006201 @default.
- W2058117005 hasRelatedWork W2356987663 @default.
- W2058117005 hasRelatedWork W2367273684 @default.
- W2058117005 hasRelatedWork W4285429136 @default.
- W2058117005 hasRelatedWork W2096496337 @default.
- W2058117005 hasVolume "172" @default.
- W2058117005 isParatext "false" @default.
- W2058117005 isRetracted "false" @default.
- W2058117005 magId "2058117005" @default.
- W2058117005 workType "article" @default.