Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386044507> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4386044507 abstract "Computing the reachability probability in infinite state probabilistic models has been the topic of numerous works. Here we introduce a new property called emph{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.
- W4386044507 created "2023-08-22" @default.
- W4386044507 creator A5006881035 @default.
- W4386044507 creator A5051788925 @default.
- W4386044507 creator A5055773964 @default.
- W4386044507 date "2023-08-17" @default.
- W4386044507 modified "2023-10-12" @default.
- W4386044507 title "Introducing Divergence for Infinite Probabilistic Models" @default.
- W4386044507 doi "https://doi.org/10.48550/arxiv.2308.08842" @default.
- W4386044507 hasPublicationYear "2023" @default.
- W4386044507 type Work @default.
- W4386044507 citedByCount "1" @default.
- W4386044507 crossrefType "posted-content" @default.
- W4386044507 hasAuthorship W4386044507A5006881035 @default.
- W4386044507 hasAuthorship W4386044507A5051788925 @default.
- W4386044507 hasAuthorship W4386044507A5055773964 @default.
- W4386044507 hasBestOaLocation W43860445071 @default.
- W4386044507 hasConcept C112505250 @default.
- W4386044507 hasConcept C11413529 @default.
- W4386044507 hasConcept C118615104 @default.
- W4386044507 hasConcept C136643341 @default.
- W4386044507 hasConcept C138885662 @default.
- W4386044507 hasConcept C153269930 @default.
- W4386044507 hasConcept C154945302 @default.
- W4386044507 hasConcept C174784677 @default.
- W4386044507 hasConcept C207390915 @default.
- W4386044507 hasConcept C33923547 @default.
- W4386044507 hasConcept C38677869 @default.
- W4386044507 hasConcept C41008148 @default.
- W4386044507 hasConcept C41895202 @default.
- W4386044507 hasConcept C48103436 @default.
- W4386044507 hasConcept C49937458 @default.
- W4386044507 hasConcept C77944639 @default.
- W4386044507 hasConcept C80444323 @default.
- W4386044507 hasConceptScore W4386044507C112505250 @default.
- W4386044507 hasConceptScore W4386044507C11413529 @default.
- W4386044507 hasConceptScore W4386044507C118615104 @default.
- W4386044507 hasConceptScore W4386044507C136643341 @default.
- W4386044507 hasConceptScore W4386044507C138885662 @default.
- W4386044507 hasConceptScore W4386044507C153269930 @default.
- W4386044507 hasConceptScore W4386044507C154945302 @default.
- W4386044507 hasConceptScore W4386044507C174784677 @default.
- W4386044507 hasConceptScore W4386044507C207390915 @default.
- W4386044507 hasConceptScore W4386044507C33923547 @default.
- W4386044507 hasConceptScore W4386044507C38677869 @default.
- W4386044507 hasConceptScore W4386044507C41008148 @default.
- W4386044507 hasConceptScore W4386044507C41895202 @default.
- W4386044507 hasConceptScore W4386044507C48103436 @default.
- W4386044507 hasConceptScore W4386044507C49937458 @default.
- W4386044507 hasConceptScore W4386044507C77944639 @default.
- W4386044507 hasConceptScore W4386044507C80444323 @default.
- W4386044507 hasLocation W43860445071 @default.
- W4386044507 hasOpenAccess W4386044507 @default.
- W4386044507 hasPrimaryLocation W43860445071 @default.
- W4386044507 hasRelatedWork W1500907979 @default.
- W4386044507 hasRelatedWork W1531156418 @default.
- W4386044507 hasRelatedWork W1551903405 @default.
- W4386044507 hasRelatedWork W1776999661 @default.
- W4386044507 hasRelatedWork W2039577724 @default.
- W4386044507 hasRelatedWork W2107824370 @default.
- W4386044507 hasRelatedWork W2154794415 @default.
- W4386044507 hasRelatedWork W2380814829 @default.
- W4386044507 hasRelatedWork W2387511021 @default.
- W4386044507 hasRelatedWork W2499946963 @default.
- W4386044507 isParatext "false" @default.
- W4386044507 isRetracted "false" @default.
- W4386044507 workType "article" @default.