Matches in SemOpenAlex for { <https://semopenalex.org/work/W1037179907> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1037179907 endingPage "171" @default.
- W1037179907 startingPage "134" @default.
- W1037179907 abstract "Deciding in an efficient way weak probabilistic bisimulation in the context of probabilistic automata is an open problem for about a decade. In this work we close this problem by proposing a procedure that checks in polynomial time the existence of a weak combined transition satisfying the step condition of the bisimulation. This enables us to arrive at a polynomial time algorithm for deciding weak probabilistic bisimulation, and also branching probabilistic bisimulation. We furthermore present several extensions to interesting related problems, in particular weak and branching probabilistic simulation, setting the ground for the development of more effective and compositional analysis algorithms for probabilistic systems." @default.
- W1037179907 created "2016-06-24" @default.
- W1037179907 creator A5028747794 @default.
- W1037179907 creator A5074733161 @default.
- W1037179907 date "2015-10-01" @default.
- W1037179907 modified "2023-10-02" @default.
- W1037179907 title "Polynomial time decision algorithms for probabilistic automata" @default.
- W1037179907 cites W1963619740 @default.
- W1037179907 cites W1968248813 @default.
- W1037179907 cites W1985161650 @default.
- W1037179907 cites W2012591890 @default.
- W1037179907 cites W2021473546 @default.
- W1037179907 cites W2043901793 @default.
- W1037179907 cites W2044811734 @default.
- W1037179907 cites W2068361557 @default.
- W1037179907 cites W2110586188 @default.
- W1037179907 cites W2130793115 @default.
- W1037179907 cites W2163369706 @default.
- W1037179907 cites W2169287093 @default.
- W1037179907 doi "https://doi.org/10.1016/j.ic.2015.07.004" @default.
- W1037179907 hasPublicationYear "2015" @default.
- W1037179907 type Work @default.
- W1037179907 sameAs 1037179907 @default.
- W1037179907 citedByCount "12" @default.
- W1037179907 countsByYear W10371799072016 @default.
- W1037179907 countsByYear W10371799072018 @default.
- W1037179907 countsByYear W10371799072019 @default.
- W1037179907 countsByYear W10371799072020 @default.
- W1037179907 countsByYear W10371799072021 @default.
- W1037179907 countsByYear W10371799072023 @default.
- W1037179907 crossrefType "journal-article" @default.
- W1037179907 hasAuthorship W1037179907A5028747794 @default.
- W1037179907 hasAuthorship W1037179907A5074733161 @default.
- W1037179907 hasConcept C112505250 @default.
- W1037179907 hasConcept C11413529 @default.
- W1037179907 hasConcept C118615104 @default.
- W1037179907 hasConcept C134306372 @default.
- W1037179907 hasConcept C135315306 @default.
- W1037179907 hasConcept C154945302 @default.
- W1037179907 hasConcept C174784677 @default.
- W1037179907 hasConcept C24404364 @default.
- W1037179907 hasConcept C311688 @default.
- W1037179907 hasConcept C33923547 @default.
- W1037179907 hasConcept C41008148 @default.
- W1037179907 hasConcept C49937458 @default.
- W1037179907 hasConcept C52063229 @default.
- W1037179907 hasConcept C80444323 @default.
- W1037179907 hasConcept C90119067 @default.
- W1037179907 hasConceptScore W1037179907C112505250 @default.
- W1037179907 hasConceptScore W1037179907C11413529 @default.
- W1037179907 hasConceptScore W1037179907C118615104 @default.
- W1037179907 hasConceptScore W1037179907C134306372 @default.
- W1037179907 hasConceptScore W1037179907C135315306 @default.
- W1037179907 hasConceptScore W1037179907C154945302 @default.
- W1037179907 hasConceptScore W1037179907C174784677 @default.
- W1037179907 hasConceptScore W1037179907C24404364 @default.
- W1037179907 hasConceptScore W1037179907C311688 @default.
- W1037179907 hasConceptScore W1037179907C33923547 @default.
- W1037179907 hasConceptScore W1037179907C41008148 @default.
- W1037179907 hasConceptScore W1037179907C49937458 @default.
- W1037179907 hasConceptScore W1037179907C52063229 @default.
- W1037179907 hasConceptScore W1037179907C80444323 @default.
- W1037179907 hasConceptScore W1037179907C90119067 @default.
- W1037179907 hasFunder F4320320879 @default.
- W1037179907 hasFunder F4320321001 @default.
- W1037179907 hasFunder F4320334994 @default.
- W1037179907 hasLocation W10371799071 @default.
- W1037179907 hasOpenAccess W1037179907 @default.
- W1037179907 hasPrimaryLocation W10371799071 @default.
- W1037179907 hasRelatedWork W1037179907 @default.
- W1037179907 hasRelatedWork W1597181838 @default.
- W1037179907 hasRelatedWork W189312714 @default.
- W1037179907 hasRelatedWork W2099772619 @default.
- W1037179907 hasRelatedWork W2111119954 @default.
- W1037179907 hasRelatedWork W2126214140 @default.
- W1037179907 hasRelatedWork W2398513451 @default.
- W1037179907 hasRelatedWork W249340682 @default.
- W1037179907 hasRelatedWork W2963069146 @default.
- W1037179907 hasRelatedWork W4287742608 @default.
- W1037179907 hasVolume "244" @default.
- W1037179907 isParatext "false" @default.
- W1037179907 isRetracted "false" @default.
- W1037179907 magId "1037179907" @default.
- W1037179907 workType "article" @default.