FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097476502> ?p ?o ?g. }

• W2097476502 abstract "This paper considers model checking of Markov reward models (MRMs), continuous-time Markov chains with state rewards as well as impulse rewards. The reward extension of the logic CSL (continuous stochastic logic) is interpreted over such MRMs, and two numerical algorithms are provided to check the reachability of a set of goal states under a time and an accumulated reward constraint. This extends existing model-checking techniques for MRMs with just state rewards, and improves the applicability to thousands of states. Our approach is illustrated by using rewards for energy consumption in the setting of dynamic power management." @default.
• W2097476502 created "2016-06-24" @default.
• W2097476502 creator A5011439676 @default.
• W2097476502 creator A5060924554 @default.
• W2097476502 creator A5074670471 @default.
• W2097476502 creator A5080606370 @default.
• W2097476502 date "2005-07-27" @default.
• W2097476502 modified "2023-10-02" @default.
• W2097476502 title "Model Checking Markov Reward Models with Impulse Rewards" @default.
• W2097476502 cites W1972002191 @default.
• W2097476502 cites W1976129407 @default.
• W2097476502 cites W2006095419 @default.
• W2097476502 cites W2021077982 @default.
• W2097476502 cites W2076708709 @default.
• W2097476502 cites W2090311494 @default.
• W2097476502 cites W2103767382 @default.
• W2097476502 cites W2128934846 @default.
• W2097476502 cites W2136244995 @default.
• W2097476502 cites W2138210004 @default.
• W2097476502 cites W2141881497 @default.
• W2097476502 cites W2147754451 @default.
• W2097476502 cites W2148690907 @default.
• W2097476502 cites W2165439624 @default.
• W2097476502 cites W2167853457 @default.
• W2097476502 cites W4233436407 @default.
• W2097476502 doi "https://doi.org/10.1109/dsn.2005.64" @default.
• W2097476502 hasPublicationYear "2005" @default.
• W2097476502 type Work @default.
• W2097476502 sameAs 2097476502 @default.
• W2097476502 citedByCount "28" @default.
• W2097476502 countsByYear W20974765022012 @default.
• W2097476502 countsByYear W20974765022013 @default.
• W2097476502 countsByYear W20974765022015 @default.
• W2097476502 countsByYear W20974765022016 @default.
• W2097476502 countsByYear W20974765022017 @default.
• W2097476502 countsByYear W20974765022018 @default.
• W2097476502 countsByYear W20974765022020 @default.
• W2097476502 countsByYear W20974765022021 @default.
• W2097476502 countsByYear W20974765022023 @default.
• W2097476502 crossrefType "proceedings-article" @default.
• W2097476502 hasAuthorship W2097476502A5011439676 @default.
• W2097476502 hasAuthorship W2097476502A5060924554 @default.
• W2097476502 hasAuthorship W2097476502A5074670471 @default.
• W2097476502 hasAuthorship W2097476502A5080606370 @default.
• W2097476502 hasConcept C105795698 @default.
• W2097476502 hasConcept C110251889 @default.
• W2097476502 hasConcept C11413529 @default.
• W2097476502 hasConcept C119857082 @default.
• W2097476502 hasConcept C121332964 @default.
• W2097476502 hasConcept C126255220 @default.
• W2097476502 hasConcept C136643341 @default.
• W2097476502 hasConcept C15744967 @default.
• W2097476502 hasConcept C159886148 @default.
• W2097476502 hasConcept C177264268 @default.
• W2097476502 hasConcept C199360897 @default.
• W2097476502 hasConcept C2524010 @default.
• W2097476502 hasConcept C2776036281 @default.
• W2097476502 hasConcept C3018727167 @default.
• W2097476502 hasConcept C33923547 @default.
• W2097476502 hasConcept C41008148 @default.
• W2097476502 hasConcept C48103436 @default.
• W2097476502 hasConcept C542102704 @default.
• W2097476502 hasConcept C62520636 @default.
• W2097476502 hasConcept C70836080 @default.
• W2097476502 hasConcept C80444323 @default.
• W2097476502 hasConcept C98763669 @default.
• W2097476502 hasConceptScore W2097476502C105795698 @default.
• W2097476502 hasConceptScore W2097476502C110251889 @default.
• W2097476502 hasConceptScore W2097476502C11413529 @default.
• W2097476502 hasConceptScore W2097476502C119857082 @default.
• W2097476502 hasConceptScore W2097476502C121332964 @default.
• W2097476502 hasConceptScore W2097476502C126255220 @default.
• W2097476502 hasConceptScore W2097476502C136643341 @default.
• W2097476502 hasConceptScore W2097476502C15744967 @default.
• W2097476502 hasConceptScore W2097476502C159886148 @default.
• W2097476502 hasConceptScore W2097476502C177264268 @default.
• W2097476502 hasConceptScore W2097476502C199360897 @default.
• W2097476502 hasConceptScore W2097476502C2524010 @default.
• W2097476502 hasConceptScore W2097476502C2776036281 @default.
• W2097476502 hasConceptScore W2097476502C3018727167 @default.
• W2097476502 hasConceptScore W2097476502C33923547 @default.
• W2097476502 hasConceptScore W2097476502C41008148 @default.
• W2097476502 hasConceptScore W2097476502C48103436 @default.
• W2097476502 hasConceptScore W2097476502C542102704 @default.
• W2097476502 hasConceptScore W2097476502C62520636 @default.
• W2097476502 hasConceptScore W2097476502C70836080 @default.
• W2097476502 hasConceptScore W2097476502C80444323 @default.
• W2097476502 hasConceptScore W2097476502C98763669 @default.
• W2097476502 hasLocation W20974765021 @default.
• W2097476502 hasOpenAccess W2097476502 @default.
• W2097476502 hasPrimaryLocation W20974765021 @default.
• W2097476502 hasRelatedWork W1969427673 @default.
• W2097476502 hasRelatedWork W1976567548 @default.
• W2097476502 hasRelatedWork W1982176611 @default.
• W2097476502 hasRelatedWork W2027764252 @default.
• W2097476502 hasRelatedWork W2055232328 @default.
• W2097476502 hasRelatedWork W2604117793 @default.
• W2097476502 hasRelatedWork W2888613624 @default.
• W2097476502 hasRelatedWork W2951107910 @default.
• W2097476502 hasRelatedWork W3013624024 @default.

• next