FRINK Linked Data Fragments server

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

• W2991628923 abstract "Stutter equivalences are important for system synthesis as well as system analysis. In this paper, we study stutter trace equivalences for Markov automata (MAs) and how they relate to metric temporal logic (MTL) formulas. We first define several variants of stutter trace equivalence for closed MA models. We perform button pushing experiments with a black box model of MA to obtain these equivalences. For every class of MA scheduler, a corresponding variant of stutter trace equivalence is defined. Then we investigate the relationship among these equivalences and also compare them with bisimulation for MAs. Finally, we prove that maximum and minimum probabilities of satisfying properties specified using metric temporal logic (MTL) formulas are preserved under some of these equivalences." @default.
• W2991628923 created "2019-12-05" @default.
• W2991628923 creator A5024470325 @default.
• W2991628923 date "2019-07-01" @default.
• W2991628923 modified "2023-09-26" @default.
• W2991628923 title "Stuttering for Markov Automata" @default.
• W2991628923 cites W1498203978 @default.
• W2991628923 cites W1498432697 @default.
• W2991628923 cites W1507380329 @default.
• W2991628923 cites W1547065289 @default.
• W2991628923 cites W1548777301 @default.
• W2991628923 cites W1556549114 @default.
• W2991628923 cites W1575787262 @default.
• W2991628923 cites W1580405793 @default.
• W2991628923 cites W1597655219 @default.
• W2991628923 cites W1874444266 @default.
• W2991628923 cites W2065103010 @default.
• W2991628923 cites W2070874614 @default.
• W2991628923 cites W2111987809 @default.
• W2991628923 cites W2117429544 @default.
• W2991628923 cites W2138756653 @default.
• W2991628923 cites W2142486837 @default.
• W2991628923 cites W2146049822 @default.
• W2991628923 cites W2148167082 @default.
• W2991628923 cites W2155492335 @default.
• W2991628923 cites W2156407268 @default.
• W2991628923 cites W2163234015 @default.
• W2991628923 cites W2294647483 @default.
• W2991628923 cites W2405128362 @default.
• W2991628923 cites W2888000169 @default.
• W2991628923 cites W2962870612 @default.
• W2991628923 doi "https://doi.org/10.1109/tase.2019.000-7" @default.
• W2991628923 hasPublicationYear "2019" @default.
• W2991628923 type Work @default.
• W2991628923 sameAs 2991628923 @default.
• W2991628923 citedByCount "3" @default.
• W2991628923 countsByYear W29916289232019 @default.
• W2991628923 countsByYear W29916289232020 @default.
• W2991628923 countsByYear W29916289232021 @default.
• W2991628923 crossrefType "proceedings-article" @default.
• W2991628923 hasAuthorship W2991628923A5024470325 @default.
• W2991628923 hasConcept C105795698 @default.
• W2991628923 hasConcept C112505250 @default.
• W2991628923 hasConcept C118615104 @default.
• W2991628923 hasConcept C135315306 @default.
• W2991628923 hasConcept C138885662 @default.
• W2991628923 hasConcept C159886148 @default.
• W2991628923 hasConcept C162324750 @default.
• W2991628923 hasConcept C176217482 @default.
• W2991628923 hasConcept C21547014 @default.
• W2991628923 hasConcept C25016198 @default.
• W2991628923 hasConcept C2780069185 @default.
• W2991628923 hasConcept C2781371259 @default.
• W2991628923 hasConcept C33923547 @default.
• W2991628923 hasConcept C41008148 @default.
• W2991628923 hasConcept C41895202 @default.
• W2991628923 hasConcept C75291252 @default.
• W2991628923 hasConcept C80444323 @default.
• W2991628923 hasConcept C98763669 @default.
• W2991628923 hasConceptScore W2991628923C105795698 @default.
• W2991628923 hasConceptScore W2991628923C112505250 @default.
• W2991628923 hasConceptScore W2991628923C118615104 @default.
• W2991628923 hasConceptScore W2991628923C135315306 @default.
• W2991628923 hasConceptScore W2991628923C138885662 @default.
• W2991628923 hasConceptScore W2991628923C159886148 @default.
• W2991628923 hasConceptScore W2991628923C162324750 @default.
• W2991628923 hasConceptScore W2991628923C176217482 @default.
• W2991628923 hasConceptScore W2991628923C21547014 @default.
• W2991628923 hasConceptScore W2991628923C25016198 @default.
• W2991628923 hasConceptScore W2991628923C2780069185 @default.
• W2991628923 hasConceptScore W2991628923C2781371259 @default.
• W2991628923 hasConceptScore W2991628923C33923547 @default.
• W2991628923 hasConceptScore W2991628923C41008148 @default.
• W2991628923 hasConceptScore W2991628923C41895202 @default.
• W2991628923 hasConceptScore W2991628923C75291252 @default.
• W2991628923 hasConceptScore W2991628923C80444323 @default.
• W2991628923 hasConceptScore W2991628923C98763669 @default.
• W2991628923 hasLocation W29916289231 @default.
• W2991628923 hasOpenAccess W2991628923 @default.
• W2991628923 hasPrimaryLocation W29916289231 @default.
• W2991628923 hasRelatedWork W1493491893 @default.
• W2991628923 hasRelatedWork W1501538285 @default.
• W2991628923 hasRelatedWork W1526239217 @default.
• W2991628923 hasRelatedWork W1585666806 @default.
• W2991628923 hasRelatedWork W1775249002 @default.
• W2991628923 hasRelatedWork W1809409010 @default.
• W2991628923 hasRelatedWork W2023255277 @default.
• W2991628923 hasRelatedWork W2114671730 @default.
• W2991628923 hasRelatedWork W2121787966 @default.
• W2991628923 hasRelatedWork W2121889906 @default.
• W2991628923 hasRelatedWork W2126748297 @default.
• W2991628923 hasRelatedWork W2165282416 @default.
• W2991628923 hasRelatedWork W2382695806 @default.
• W2991628923 hasRelatedWork W2560174505 @default.
• W2991628923 hasRelatedWork W2734651385 @default.
• W2991628923 hasRelatedWork W2755950393 @default.
• W2991628923 hasRelatedWork W2796990656 @default.
• W2991628923 hasRelatedWork W2806887588 @default.
• W2991628923 hasRelatedWork W2887835352 @default.
• W2991628923 hasRelatedWork W2952049931 @default.

• next