Matches in SemOpenAlex for { <https://semopenalex.org/work/W1575787262> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1575787262 abstract "This paper reconsiders Bernardo's T-lumpability on continuous-time Markov chains (CTMCs). This notion allows for a more aggressive state-level aggregation than ordinary lumpability. We provide a novel structural definition of (what we refer to as) weighted lumpability, prove some elementary properties, and investigate its compatibility with linear real-time objectives. The main result is that the probability of satisfying a deterministic timed automaton specification coincides for a CTMC and its weigthed lumped analogue. The same holds for metric temporal logic formulas." @default.
- W1575787262 created "2016-06-24" @default.
- W1575787262 creator A5024470325 @default.
- W1575787262 creator A5080606370 @default.
- W1575787262 date "2012-01-01" @default.
- W1575787262 modified "2023-09-26" @default.
- W1575787262 title "Weighted Lumpability on Markov Chains" @default.
- W1575787262 cites W1494737186 @default.
- W1575787262 cites W1498203978 @default.
- W1575787262 cites W1501881008 @default.
- W1575787262 cites W1599711819 @default.
- W1575787262 cites W2026629052 @default.
- W1575787262 cites W2031728268 @default.
- W1575787262 cites W2044811734 @default.
- W1575787262 cites W2065103010 @default.
- W1575787262 cites W2101508170 @default.
- W1575787262 cites W2103836778 @default.
- W1575787262 cites W2114671730 @default.
- W1575787262 cites W2114710208 @default.
- W1575787262 cites W2115555017 @default.
- W1575787262 cites W2121753274 @default.
- W1575787262 cites W2141881497 @default.
- W1575787262 cites W2158776910 @default.
- W1575787262 doi "https://doi.org/10.1007/978-3-642-29709-0_28" @default.
- W1575787262 hasPublicationYear "2012" @default.
- W1575787262 type Work @default.
- W1575787262 sameAs 1575787262 @default.
- W1575787262 citedByCount "18" @default.
- W1575787262 countsByYear W15757872622012 @default.
- W1575787262 countsByYear W15757872622014 @default.
- W1575787262 countsByYear W15757872622015 @default.
- W1575787262 countsByYear W15757872622017 @default.
- W1575787262 countsByYear W15757872622018 @default.
- W1575787262 countsByYear W15757872622019 @default.
- W1575787262 countsByYear W15757872622021 @default.
- W1575787262 crossrefType "book-chapter" @default.
- W1575787262 hasAuthorship W1575787262A5024470325 @default.
- W1575787262 hasAuthorship W1575787262A5080606370 @default.
- W1575787262 hasConcept C105795698 @default.
- W1575787262 hasConcept C112505250 @default.
- W1575787262 hasConcept C11413529 @default.
- W1575787262 hasConcept C118615104 @default.
- W1575787262 hasConcept C119857082 @default.
- W1575787262 hasConcept C159886148 @default.
- W1575787262 hasConcept C162324750 @default.
- W1575787262 hasConcept C176217482 @default.
- W1575787262 hasConcept C21547014 @default.
- W1575787262 hasConcept C25016198 @default.
- W1575787262 hasConcept C33923547 @default.
- W1575787262 hasConcept C41008148 @default.
- W1575787262 hasConcept C80444323 @default.
- W1575787262 hasConcept C98763669 @default.
- W1575787262 hasConceptScore W1575787262C105795698 @default.
- W1575787262 hasConceptScore W1575787262C112505250 @default.
- W1575787262 hasConceptScore W1575787262C11413529 @default.
- W1575787262 hasConceptScore W1575787262C118615104 @default.
- W1575787262 hasConceptScore W1575787262C119857082 @default.
- W1575787262 hasConceptScore W1575787262C159886148 @default.
- W1575787262 hasConceptScore W1575787262C162324750 @default.
- W1575787262 hasConceptScore W1575787262C176217482 @default.
- W1575787262 hasConceptScore W1575787262C21547014 @default.
- W1575787262 hasConceptScore W1575787262C25016198 @default.
- W1575787262 hasConceptScore W1575787262C33923547 @default.
- W1575787262 hasConceptScore W1575787262C41008148 @default.
- W1575787262 hasConceptScore W1575787262C80444323 @default.
- W1575787262 hasConceptScore W1575787262C98763669 @default.
- W1575787262 hasLocation W15757872621 @default.
- W1575787262 hasOpenAccess W1575787262 @default.
- W1575787262 hasPrimaryLocation W15757872621 @default.
- W1575787262 hasRelatedWork W1498203978 @default.
- W1575787262 hasRelatedWork W1498432697 @default.
- W1575787262 hasRelatedWork W1509804682 @default.
- W1575787262 hasRelatedWork W1580405793 @default.
- W1575787262 hasRelatedWork W1597655219 @default.
- W1575787262 hasRelatedWork W1599711819 @default.
- W1575787262 hasRelatedWork W2014582618 @default.
- W1575787262 hasRelatedWork W2026629052 @default.
- W1575787262 hasRelatedWork W2065103010 @default.
- W1575787262 hasRelatedWork W2070874614 @default.
- W1575787262 hasRelatedWork W2101508170 @default.
- W1575787262 hasRelatedWork W2115555017 @default.
- W1575787262 hasRelatedWork W2138756653 @default.
- W1575787262 hasRelatedWork W2141881497 @default.
- W1575787262 hasRelatedWork W2155492335 @default.
- W1575787262 hasRelatedWork W2156407268 @default.
- W1575787262 hasRelatedWork W2158776910 @default.
- W1575787262 hasRelatedWork W2163234015 @default.
- W1575787262 hasRelatedWork W3196094758 @default.
- W1575787262 hasRelatedWork W601863383 @default.
- W1575787262 isParatext "false" @default.
- W1575787262 isRetracted "false" @default.
- W1575787262 magId "1575787262" @default.
- W1575787262 workType "book-chapter" @default.