Matches in SemOpenAlex for { <https://semopenalex.org/work/W2256709084> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2256709084 endingPage "371" @default.
- W2256709084 startingPage "351" @default.
- W2256709084 abstract "In this paper we present a decision algorithm for computing maximal/minimal reward-bounded reachability probabilities in weighted MDPs with uncertainties. Even though an uncertain weighted MDP ( $$textit{UwMDP}$$ ) represents an equivalent weighted MDP which may be exponentially larger, our algorithm does not cause an exponentially blow-up and will terminate in polynomial time with respect to the size of $$textit{UwMDP}$$ s. We also define bisimulation relations for $$textit{UwMDP}$$ s, which are compositional and can be decided in polynomial time as well. We develop a prototype tool and apply it to some case studies to show its effectiveness." @default.
- W2256709084 created "2016-06-24" @default.
- W2256709084 creator A5027802245 @default.
- W2256709084 creator A5028747794 @default.
- W2256709084 creator A5088128024 @default.
- W2256709084 date "2015-12-25" @default.
- W2256709084 modified "2023-09-23" @default.
- W2256709084 title "Reward-Bounded Reachability Probability for Uncertain Weighted MDPs" @default.
- W2256709084 cites W106195609 @default.
- W2256709084 cites W125973810 @default.
- W2256709084 cites W1479679270 @default.
- W2256709084 cites W1480198929 @default.
- W2256709084 cites W1489359924 @default.
- W2256709084 cites W1497573972 @default.
- W2256709084 cites W1537517911 @default.
- W2256709084 cites W1559540003 @default.
- W2256709084 cites W1561357353 @default.
- W2256709084 cites W1562046958 @default.
- W2256709084 cites W1822323017 @default.
- W2256709084 cites W1862398452 @default.
- W2256709084 cites W1965878388 @default.
- W2256709084 cites W1988217924 @default.
- W2256709084 cites W1999787317 @default.
- W2256709084 cites W2005998857 @default.
- W2256709084 cites W2023530670 @default.
- W2256709084 cites W2058117005 @default.
- W2256709084 cites W2079636926 @default.
- W2256709084 cites W2096210507 @default.
- W2256709084 cites W2098597080 @default.
- W2256709084 cites W2100326215 @default.
- W2256709084 cites W2119091865 @default.
- W2256709084 cites W2138756653 @default.
- W2256709084 cites W2142692391 @default.
- W2256709084 cites W2144502731 @default.
- W2256709084 cites W2148384577 @default.
- W2256709084 cites W2157807654 @default.
- W2256709084 cites W2177617373 @default.
- W2256709084 cites W3137368705 @default.
- W2256709084 cites W3137473915 @default.
- W2256709084 doi "https://doi.org/10.1007/978-3-662-49122-5_17" @default.
- W2256709084 hasPublicationYear "2015" @default.
- W2256709084 type Work @default.
- W2256709084 sameAs 2256709084 @default.
- W2256709084 citedByCount "8" @default.
- W2256709084 countsByYear W22567090842016 @default.
- W2256709084 countsByYear W22567090842017 @default.
- W2256709084 countsByYear W22567090842019 @default.
- W2256709084 crossrefType "book-chapter" @default.
- W2256709084 hasAuthorship W2256709084A5027802245 @default.
- W2256709084 hasAuthorship W2256709084A5028747794 @default.
- W2256709084 hasAuthorship W2256709084A5088128024 @default.
- W2256709084 hasConcept C11413529 @default.
- W2256709084 hasConcept C118615104 @default.
- W2256709084 hasConcept C134306372 @default.
- W2256709084 hasConcept C136643341 @default.
- W2256709084 hasConcept C2777669093 @default.
- W2256709084 hasConcept C311688 @default.
- W2256709084 hasConcept C33923547 @default.
- W2256709084 hasConcept C34388435 @default.
- W2256709084 hasConcept C41008148 @default.
- W2256709084 hasConcept C90119067 @default.
- W2256709084 hasConceptScore W2256709084C11413529 @default.
- W2256709084 hasConceptScore W2256709084C118615104 @default.
- W2256709084 hasConceptScore W2256709084C134306372 @default.
- W2256709084 hasConceptScore W2256709084C136643341 @default.
- W2256709084 hasConceptScore W2256709084C2777669093 @default.
- W2256709084 hasConceptScore W2256709084C311688 @default.
- W2256709084 hasConceptScore W2256709084C33923547 @default.
- W2256709084 hasConceptScore W2256709084C34388435 @default.
- W2256709084 hasConceptScore W2256709084C41008148 @default.
- W2256709084 hasConceptScore W2256709084C90119067 @default.
- W2256709084 hasLocation W22567090841 @default.
- W2256709084 hasOpenAccess W2256709084 @default.
- W2256709084 hasPrimaryLocation W22567090841 @default.
- W2256709084 hasRelatedWork W2141183298 @default.
- W2256709084 hasRelatedWork W2529633050 @default.
- W2256709084 hasRelatedWork W2765430975 @default.
- W2256709084 hasRelatedWork W2952426464 @default.
- W2256709084 hasRelatedWork W2971221406 @default.
- W2256709084 hasRelatedWork W3193574081 @default.
- W2256709084 hasRelatedWork W4294402683 @default.
- W2256709084 hasRelatedWork W4299966827 @default.
- W2256709084 hasRelatedWork W4300948155 @default.
- W2256709084 hasRelatedWork W3174155805 @default.
- W2256709084 isParatext "false" @default.
- W2256709084 isRetracted "false" @default.
- W2256709084 magId "2256709084" @default.
- W2256709084 workType "book-chapter" @default.