Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874444266> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1874444266 endingPage "184" @default.
- W1874444266 startingPage "168" @default.
- W1874444266 abstract "Costs and rewards are important ingredients for many types of systems, modelling critical aspects like energy consumption, task completion, repair costs, and memory usage. This paper introduces Markov reward automata, an extension of Markov automata that allows the modelling of systems incorporating rewards (or costs) in addition to nondeterminism, discrete probabilistic choice and continuous stochastic timing. Rewards come in two flavours: action rewards, acquired instantaneously when taking a transition; and state rewards, acquired while residing in a state. We present algorithms to optimise three reward functions: the expected cumulative reward until a goal is reached, the expected cumulative reward until a certain time bound, and the long-run average reward. We have implemented these algorithms in the SCOOP/IMCA tool chain and show their feasibility via several case studies." @default.
- W1874444266 created "2016-06-24" @default.
- W1874444266 creator A5007430287 @default.
- W1874444266 creator A5053065289 @default.
- W1874444266 creator A5066736648 @default.
- W1874444266 creator A5084827667 @default.
- W1874444266 creator A5085049248 @default.
- W1874444266 date "2014-01-01" @default.
- W1874444266 modified "2023-09-27" @default.
- W1874444266 title "Modelling and Analysis of Markov Reward Automata" @default.
- W1874444266 cites W1496748552 @default.
- W1874444266 cites W1504080271 @default.
- W1874444266 cites W1507380329 @default.
- W1874444266 cites W1507843766 @default.
- W1874444266 cites W1874444266 @default.
- W1874444266 cites W2038023179 @default.
- W1874444266 cites W2068791347 @default.
- W1874444266 cites W2070874614 @default.
- W1874444266 cites W2096210507 @default.
- W1874444266 cites W2110411539 @default.
- W1874444266 cites W2111987809 @default.
- W1874444266 cites W2115980619 @default.
- W1874444266 cites W2117429544 @default.
- W1874444266 cites W2123022028 @default.
- W1874444266 cites W2148167082 @default.
- W1874444266 cites W2149336039 @default.
- W1874444266 cites W2163234015 @default.
- W1874444266 cites W2168234479 @default.
- W1874444266 cites W2235903980 @default.
- W1874444266 cites W2410243683 @default.
- W1874444266 cites W3148810651 @default.
- W1874444266 cites W4250417675 @default.
- W1874444266 cites W78405526 @default.
- W1874444266 doi "https://doi.org/10.1007/978-3-319-11936-6_13" @default.
- W1874444266 hasPublicationYear "2014" @default.
- W1874444266 type Work @default.
- W1874444266 sameAs 1874444266 @default.
- W1874444266 citedByCount "28" @default.
- W1874444266 countsByYear W18744442662014 @default.
- W1874444266 countsByYear W18744442662015 @default.
- W1874444266 countsByYear W18744442662016 @default.
- W1874444266 countsByYear W18744442662017 @default.
- W1874444266 countsByYear W18744442662018 @default.
- W1874444266 countsByYear W18744442662019 @default.
- W1874444266 countsByYear W18744442662021 @default.
- W1874444266 crossrefType "book-chapter" @default.
- W1874444266 hasAuthorship W1874444266A5007430287 @default.
- W1874444266 hasAuthorship W1874444266A5053065289 @default.
- W1874444266 hasAuthorship W1874444266A5066736648 @default.
- W1874444266 hasAuthorship W1874444266A5084827667 @default.
- W1874444266 hasAuthorship W1874444266A5085049248 @default.
- W1874444266 hasBestOaLocation W18744442662 @default.
- W1874444266 hasConcept C112505250 @default.
- W1874444266 hasConcept C119857082 @default.
- W1874444266 hasConcept C154945302 @default.
- W1874444266 hasConcept C41008148 @default.
- W1874444266 hasConcept C80444323 @default.
- W1874444266 hasConcept C98763669 @default.
- W1874444266 hasConceptScore W1874444266C112505250 @default.
- W1874444266 hasConceptScore W1874444266C119857082 @default.
- W1874444266 hasConceptScore W1874444266C154945302 @default.
- W1874444266 hasConceptScore W1874444266C41008148 @default.
- W1874444266 hasConceptScore W1874444266C80444323 @default.
- W1874444266 hasConceptScore W1874444266C98763669 @default.
- W1874444266 hasLocation W18744442661 @default.
- W1874444266 hasLocation W18744442662 @default.
- W1874444266 hasOpenAccess W1874444266 @default.
- W1874444266 hasPrimaryLocation W18744442661 @default.
- W1874444266 hasRelatedWork W1481154621 @default.
- W1874444266 hasRelatedWork W1523289856 @default.
- W1874444266 hasRelatedWork W1584197856 @default.
- W1874444266 hasRelatedWork W189312714 @default.
- W1874444266 hasRelatedWork W2145357906 @default.
- W1874444266 hasRelatedWork W2158042562 @default.
- W1874444266 hasRelatedWork W2389529561 @default.
- W1874444266 hasRelatedWork W2657868148 @default.
- W1874444266 hasRelatedWork W2973470444 @default.
- W1874444266 hasRelatedWork W2522664583 @default.
- W1874444266 isParatext "false" @default.
- W1874444266 isRetracted "false" @default.
- W1874444266 magId "1874444266" @default.
- W1874444266 workType "book-chapter" @default.