Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387350003> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4387350003 endingPage "140" @default.
- W4387350003 startingPage "127" @default.
- W4387350003 abstract "Computing the reachability probability in infinite state probabilistic models has been the topic of numerous works. Here we introduce a new property called divergence that when satisfied allows to compute reachability probabilities up to an arbitrary precision. One of the main interest of divergence is that our algorithm does not require the reachability problem to be decidable. Then we study the decidability of divergence for probabilistic versions of pushdown automata and Petri nets where the weights associated with transitions may also depend on the current state. This should be contrasted with most of the existing works that assume weights independent of the state. Such an extended framework is motivated by the modeling of real case studies. Moreover, we exhibit some divergent subclasses of channel systems and pushdown automata, particularly suited for specifying open distributed systems and networks prone to performance collapsing in order to compute the probabilities related to service requirements." @default.
- W4387350003 created "2023-10-05" @default.
- W4387350003 creator A5006881035 @default.
- W4387350003 creator A5055773964 @default.
- W4387350003 creator A5069971972 @default.
- W4387350003 date "2023-01-01" @default.
- W4387350003 modified "2023-10-06" @default.
- W4387350003 title "Introducing Divergence for Infinite Probabilistic Models" @default.
- W4387350003 cites W1561838634 @default.
- W4387350003 cites W1602747308 @default.
- W4387350003 cites W1975636681 @default.
- W4387350003 cites W2081516556 @default.
- W4387350003 cites W2083374362 @default.
- W4387350003 cites W2096610849 @default.
- W4387350003 cites W2122843152 @default.
- W4387350003 cites W2138467892 @default.
- W4387350003 cites W2165161585 @default.
- W4387350003 cites W2962849754 @default.
- W4387350003 cites W3099666054 @default.
- W4387350003 cites W4230164823 @default.
- W4387350003 cites W4232474943 @default.
- W4387350003 cites W4379051438 @default.
- W4387350003 cites W4386044507 @default.
- W4387350003 doi "https://doi.org/10.1007/978-3-031-45286-4_10" @default.
- W4387350003 hasPublicationYear "2023" @default.
- W4387350003 type Work @default.
- W4387350003 citedByCount "0" @default.
- W4387350003 crossrefType "book-chapter" @default.
- W4387350003 hasAuthorship W4387350003A5006881035 @default.
- W4387350003 hasAuthorship W4387350003A5055773964 @default.
- W4387350003 hasAuthorship W4387350003A5069971972 @default.
- W4387350003 hasConcept C112505250 @default.
- W4387350003 hasConcept C11413529 @default.
- W4387350003 hasConcept C118615104 @default.
- W4387350003 hasConcept C136643341 @default.
- W4387350003 hasConcept C138885662 @default.
- W4387350003 hasConcept C153269930 @default.
- W4387350003 hasConcept C154945302 @default.
- W4387350003 hasConcept C174784677 @default.
- W4387350003 hasConcept C197551870 @default.
- W4387350003 hasConcept C207390915 @default.
- W4387350003 hasConcept C2777669093 @default.
- W4387350003 hasConcept C33923547 @default.
- W4387350003 hasConcept C38677869 @default.
- W4387350003 hasConcept C41008148 @default.
- W4387350003 hasConcept C41895202 @default.
- W4387350003 hasConcept C48103436 @default.
- W4387350003 hasConcept C49937458 @default.
- W4387350003 hasConcept C77944639 @default.
- W4387350003 hasConcept C80444323 @default.
- W4387350003 hasConceptScore W4387350003C112505250 @default.
- W4387350003 hasConceptScore W4387350003C11413529 @default.
- W4387350003 hasConceptScore W4387350003C118615104 @default.
- W4387350003 hasConceptScore W4387350003C136643341 @default.
- W4387350003 hasConceptScore W4387350003C138885662 @default.
- W4387350003 hasConceptScore W4387350003C153269930 @default.
- W4387350003 hasConceptScore W4387350003C154945302 @default.
- W4387350003 hasConceptScore W4387350003C174784677 @default.
- W4387350003 hasConceptScore W4387350003C197551870 @default.
- W4387350003 hasConceptScore W4387350003C207390915 @default.
- W4387350003 hasConceptScore W4387350003C2777669093 @default.
- W4387350003 hasConceptScore W4387350003C33923547 @default.
- W4387350003 hasConceptScore W4387350003C38677869 @default.
- W4387350003 hasConceptScore W4387350003C41008148 @default.
- W4387350003 hasConceptScore W4387350003C41895202 @default.
- W4387350003 hasConceptScore W4387350003C48103436 @default.
- W4387350003 hasConceptScore W4387350003C49937458 @default.
- W4387350003 hasConceptScore W4387350003C77944639 @default.
- W4387350003 hasConceptScore W4387350003C80444323 @default.
- W4387350003 hasLocation W43873500031 @default.
- W4387350003 hasOpenAccess W4387350003 @default.
- W4387350003 hasPrimaryLocation W43873500031 @default.
- W4387350003 hasRelatedWork W1572952339 @default.
- W4387350003 hasRelatedWork W1778149536 @default.
- W4387350003 hasRelatedWork W1897277602 @default.
- W4387350003 hasRelatedWork W1938126780 @default.
- W4387350003 hasRelatedWork W2302192021 @default.
- W4387350003 hasRelatedWork W2341552178 @default.
- W4387350003 hasRelatedWork W2993657370 @default.
- W4387350003 hasRelatedWork W4386044507 @default.
- W4387350003 hasRelatedWork W4387350003 @default.
- W4387350003 hasRelatedWork W2585407662 @default.
- W4387350003 isParatext "false" @default.
- W4387350003 isRetracted "false" @default.
- W4387350003 workType "book-chapter" @default.