Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788962669> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2788962669 abstract "Markov automata (MA) are a rich modelling formalism for complex systems combining compositionality with probabilistic choices and continuous stochastic timing. Model checking algorithms for different classes of properties involving probabilities and rewards have been devised for MA, opening up a spectrum of applications in dependability engineering and artificial intelligence, reaching out into economy and finance. In the latter more general contexts, several quantities of considerable importance are based on the idea of discounting reward expectations, so that the near future is more important than the far future. This paper introduces the expected discounted reward value for MA and develops effective iterative algorithms to quantify it, based on value- as well as policy-iteration. To arrive there, we reduce the problem to the computation of expected discounted rewards and expected total rewards in Markov decision processes. This allows us to adapt well-known algorithms to the MA setting. Experimental results clearly show that our algorithms are efficient and scale to MA with hundred thousands of states." @default.
- W2788962669 created "2018-03-06" @default.
- W2788962669 creator A5005462869 @default.
- W2788962669 creator A5028747794 @default.
- W2788962669 creator A5047238602 @default.
- W2788962669 date "2018-01-01" @default.
- W2788962669 modified "2023-09-27" @default.
- W2788962669 title "Markov Automata on Discount!" @default.
- W2788962669 cites W1507843766 @default.
- W2788962669 cites W1757114815 @default.
- W2788962669 cites W1874444266 @default.
- W2788962669 cites W2049229863 @default.
- W2788962669 cites W2109187338 @default.
- W2788962669 cites W2110411539 @default.
- W2788962669 cites W2118744069 @default.
- W2788962669 cites W2134974002 @default.
- W2788962669 cites W2148167082 @default.
- W2788962669 cites W2149336039 @default.
- W2788962669 cites W2163234015 @default.
- W2788962669 cites W2172279531 @default.
- W2788962669 cites W2334782222 @default.
- W2788962669 cites W2571463671 @default.
- W2788962669 cites W2593267253 @default.
- W2788962669 cites W2598699400 @default.
- W2788962669 cites W78405526 @default.
- W2788962669 doi "https://doi.org/10.1007/978-3-319-74947-1_2" @default.
- W2788962669 hasPublicationYear "2018" @default.
- W2788962669 type Work @default.
- W2788962669 sameAs 2788962669 @default.
- W2788962669 citedByCount "2" @default.
- W2788962669 countsByYear W27889626692019 @default.
- W2788962669 crossrefType "book-chapter" @default.
- W2788962669 hasAuthorship W2788962669A5005462869 @default.
- W2788962669 hasAuthorship W2788962669A5028747794 @default.
- W2788962669 hasAuthorship W2788962669A5047238602 @default.
- W2788962669 hasConcept C10138342 @default.
- W2788962669 hasConcept C105795698 @default.
- W2788962669 hasConcept C106189395 @default.
- W2788962669 hasConcept C112505250 @default.
- W2788962669 hasConcept C11413529 @default.
- W2788962669 hasConcept C115903868 @default.
- W2788962669 hasConcept C119857082 @default.
- W2788962669 hasConcept C121375916 @default.
- W2788962669 hasConcept C154945302 @default.
- W2788962669 hasConcept C159886148 @default.
- W2788962669 hasConcept C162324750 @default.
- W2788962669 hasConcept C33923547 @default.
- W2788962669 hasConcept C41008148 @default.
- W2788962669 hasConcept C45374587 @default.
- W2788962669 hasConcept C49937458 @default.
- W2788962669 hasConcept C6177178 @default.
- W2788962669 hasConcept C77019957 @default.
- W2788962669 hasConcept C80444323 @default.
- W2788962669 hasConcept C98763669 @default.
- W2788962669 hasConceptScore W2788962669C10138342 @default.
- W2788962669 hasConceptScore W2788962669C105795698 @default.
- W2788962669 hasConceptScore W2788962669C106189395 @default.
- W2788962669 hasConceptScore W2788962669C112505250 @default.
- W2788962669 hasConceptScore W2788962669C11413529 @default.
- W2788962669 hasConceptScore W2788962669C115903868 @default.
- W2788962669 hasConceptScore W2788962669C119857082 @default.
- W2788962669 hasConceptScore W2788962669C121375916 @default.
- W2788962669 hasConceptScore W2788962669C154945302 @default.
- W2788962669 hasConceptScore W2788962669C159886148 @default.
- W2788962669 hasConceptScore W2788962669C162324750 @default.
- W2788962669 hasConceptScore W2788962669C33923547 @default.
- W2788962669 hasConceptScore W2788962669C41008148 @default.
- W2788962669 hasConceptScore W2788962669C45374587 @default.
- W2788962669 hasConceptScore W2788962669C49937458 @default.
- W2788962669 hasConceptScore W2788962669C6177178 @default.
- W2788962669 hasConceptScore W2788962669C77019957 @default.
- W2788962669 hasConceptScore W2788962669C80444323 @default.
- W2788962669 hasConceptScore W2788962669C98763669 @default.
- W2788962669 hasLocation W27889626691 @default.
- W2788962669 hasOpenAccess W2788962669 @default.
- W2788962669 hasPrimaryLocation W27889626691 @default.
- W2788962669 hasRelatedWork W1144665488 @default.
- W2788962669 hasRelatedWork W1574269384 @default.
- W2788962669 hasRelatedWork W1575633987 @default.
- W2788962669 hasRelatedWork W1990538571 @default.
- W2788962669 hasRelatedWork W2135829225 @default.
- W2788962669 hasRelatedWork W2159544030 @default.
- W2788962669 hasRelatedWork W2160067530 @default.
- W2788962669 hasRelatedWork W2170946889 @default.
- W2788962669 hasRelatedWork W2546801625 @default.
- W2788962669 hasRelatedWork W2547295696 @default.
- W2788962669 hasRelatedWork W2736303550 @default.
- W2788962669 hasRelatedWork W2952288475 @default.
- W2788962669 hasRelatedWork W2963240753 @default.
- W2788962669 hasRelatedWork W3041453306 @default.
- W2788962669 hasRelatedWork W3090442079 @default.
- W2788962669 hasRelatedWork W3154040352 @default.
- W2788962669 hasRelatedWork W3154814661 @default.
- W2788962669 hasRelatedWork W42817327 @default.
- W2788962669 hasRelatedWork W90968195 @default.
- W2788962669 hasRelatedWork W2112576882 @default.
- W2788962669 isParatext "false" @default.
- W2788962669 isRetracted "false" @default.
- W2788962669 magId "2788962669" @default.
- W2788962669 workType "book-chapter" @default.