Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103972329> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2103972329 endingPage "123" @default.
- W2103972329 startingPage "108" @default.
- W2103972329 abstract "Probabilistic automata (PA) [20] have been successfully applied in the formal verification of concurrent and stochastic systems. Efficient model checking algorithms have been studied, where the most often used logics for expressing properties are based on PCTL [11] and its extension PCTL* [4]. Various behavioral equivalences are proposed for PAs, as a powerful tool for abstraction and compositional minimization for PAs. Unfortunately, the behavioral equivalences are well-known to be strictly stronger than the logical equivalences induced by PCTL or PCTL*. This paper introduces novel notions of strong bisimulation relations, which characterizes PCTL and PCTL* exactly. We also extend weak bisimulations characterizing PCTL and PCTL* without next operator, respectively. Thus, our paper bridges the gap between logical and behavioral equivalences in this setting." @default.
- W2103972329 created "2016-06-24" @default.
- W2103972329 creator A5065045401 @default.
- W2103972329 creator A5081589298 @default.
- W2103972329 creator A5088128024 @default.
- W2103972329 date "2011-01-01" @default.
- W2103972329 modified "2023-09-24" @default.
- W2103972329 title "Bisimulations Meet PCTL Equivalences for Probabilistic Automata" @default.
- W2103972329 cites W1489359924 @default.
- W2103972329 cites W1501881008 @default.
- W2103972329 cites W1597181838 @default.
- W2103972329 cites W1810681804 @default.
- W2103972329 cites W1963619740 @default.
- W2103972329 cites W1976268573 @default.
- W2103972329 cites W1985161650 @default.
- W2103972329 cites W2005998857 @default.
- W2103972329 cites W2056928795 @default.
- W2103972329 cites W2103972329 @default.
- W2103972329 cites W2110601664 @default.
- W2103972329 cites W2115555017 @default.
- W2103972329 cites W2130773382 @default.
- W2103972329 cites W2157977984 @default.
- W2103972329 cites W2170611159 @default.
- W2103972329 cites W1601373402 @default.
- W2103972329 doi "https://doi.org/10.1007/978-3-642-23217-6_8" @default.
- W2103972329 hasPublicationYear "2011" @default.
- W2103972329 type Work @default.
- W2103972329 sameAs 2103972329 @default.
- W2103972329 citedByCount "8" @default.
- W2103972329 countsByYear W21039723292013 @default.
- W2103972329 countsByYear W21039723292014 @default.
- W2103972329 crossrefType "book-chapter" @default.
- W2103972329 hasAuthorship W2103972329A5065045401 @default.
- W2103972329 hasAuthorship W2103972329A5081589298 @default.
- W2103972329 hasAuthorship W2103972329A5088128024 @default.
- W2103972329 hasBestOaLocation W21039723292 @default.
- W2103972329 hasConcept C112505250 @default.
- W2103972329 hasConcept C154945302 @default.
- W2103972329 hasConcept C174784677 @default.
- W2103972329 hasConcept C199360897 @default.
- W2103972329 hasConcept C41008148 @default.
- W2103972329 hasConcept C49937458 @default.
- W2103972329 hasConcept C80444323 @default.
- W2103972329 hasConceptScore W2103972329C112505250 @default.
- W2103972329 hasConceptScore W2103972329C154945302 @default.
- W2103972329 hasConceptScore W2103972329C174784677 @default.
- W2103972329 hasConceptScore W2103972329C199360897 @default.
- W2103972329 hasConceptScore W2103972329C41008148 @default.
- W2103972329 hasConceptScore W2103972329C49937458 @default.
- W2103972329 hasConceptScore W2103972329C80444323 @default.
- W2103972329 hasLocation W21039723291 @default.
- W2103972329 hasLocation W21039723292 @default.
- W2103972329 hasLocation W21039723293 @default.
- W2103972329 hasLocation W21039723294 @default.
- W2103972329 hasOpenAccess W2103972329 @default.
- W2103972329 hasPrimaryLocation W21039723291 @default.
- W2103972329 hasRelatedWork W1573261754 @default.
- W2103972329 hasRelatedWork W179875050 @default.
- W2103972329 hasRelatedWork W1979390054 @default.
- W2103972329 hasRelatedWork W2100326215 @default.
- W2103972329 hasRelatedWork W2126214140 @default.
- W2103972329 hasRelatedWork W2159449605 @default.
- W2103972329 hasRelatedWork W2514822958 @default.
- W2103972329 hasRelatedWork W2951456305 @default.
- W2103972329 hasRelatedWork W2989856703 @default.
- W2103972329 hasRelatedWork W4321843626 @default.
- W2103972329 isParatext "false" @default.
- W2103972329 isRetracted "false" @default.
- W2103972329 magId "2103972329" @default.
- W2103972329 workType "book-chapter" @default.