Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950671110> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2950671110 abstract "Proving programs is a fundamental computer science challenge. Recent research has produced powerful tools that can check a wide range of programs for termination. The analog for probabilistic programs, namely termination with probability one (almost-sure termination), is an equally important property for randomized algorithms and probabilistic protocols. We suggest a novel algorithm for proving almost-sure termination of probabilistic programs. Our algorithm exploits the power of state-of-the-art model checkers and termination provers for nonprobabilistic programs: it calls such tools within a refinement loop and thereby iteratively constructs a terminating pattern, which is a set of runs with probability one. We report on various case studies illustrating the effectiveness of our algorithm. As a further application, our algorithm can improve lower bounds on reachability probabilities." @default.
- W2950671110 created "2019-06-27" @default.
- W2950671110 creator A5054782057 @default.
- W2950671110 creator A5089851710 @default.
- W2950671110 creator A5090378914 @default.
- W2950671110 date "2012-04-13" @default.
- W2950671110 modified "2023-09-27" @default.
- W2950671110 title "Proving Termination of Probabilistic Programs Using Patterns" @default.
- W2950671110 cites W1496222849 @default.
- W2950671110 cites W1498432697 @default.
- W2950671110 cites W1549039738 @default.
- W2950671110 cites W1557307633 @default.
- W2950671110 cites W1592840252 @default.
- W2950671110 cites W1600905840 @default.
- W2950671110 cites W1770936898 @default.
- W2950671110 cites W1967465461 @default.
- W2950671110 cites W2018908462 @default.
- W2950671110 cites W2073126252 @default.
- W2950671110 cites W2112350720 @default.
- W2950671110 cites W2293708017 @default.
- W2950671110 cites W2913788705 @default.
- W2950671110 hasPublicationYear "2012" @default.
- W2950671110 type Work @default.
- W2950671110 sameAs 2950671110 @default.
- W2950671110 citedByCount "0" @default.
- W2950671110 crossrefType "posted-content" @default.
- W2950671110 hasAuthorship W2950671110A5054782057 @default.
- W2950671110 hasAuthorship W2950671110A5089851710 @default.
- W2950671110 hasAuthorship W2950671110A5090378914 @default.
- W2950671110 hasConcept C111472728 @default.
- W2950671110 hasConcept C11413529 @default.
- W2950671110 hasConcept C128669082 @default.
- W2950671110 hasConcept C136643341 @default.
- W2950671110 hasConcept C138885662 @default.
- W2950671110 hasConcept C154945302 @default.
- W2950671110 hasConcept C159985019 @default.
- W2950671110 hasConcept C165696696 @default.
- W2950671110 hasConcept C177264268 @default.
- W2950671110 hasConcept C189950617 @default.
- W2950671110 hasConcept C192562407 @default.
- W2950671110 hasConcept C199360897 @default.
- W2950671110 hasConcept C204323151 @default.
- W2950671110 hasConcept C24404364 @default.
- W2950671110 hasConcept C38652104 @default.
- W2950671110 hasConcept C41008148 @default.
- W2950671110 hasConcept C48103436 @default.
- W2950671110 hasConcept C49937458 @default.
- W2950671110 hasConcept C52063229 @default.
- W2950671110 hasConcept C80444323 @default.
- W2950671110 hasConceptScore W2950671110C111472728 @default.
- W2950671110 hasConceptScore W2950671110C11413529 @default.
- W2950671110 hasConceptScore W2950671110C128669082 @default.
- W2950671110 hasConceptScore W2950671110C136643341 @default.
- W2950671110 hasConceptScore W2950671110C138885662 @default.
- W2950671110 hasConceptScore W2950671110C154945302 @default.
- W2950671110 hasConceptScore W2950671110C159985019 @default.
- W2950671110 hasConceptScore W2950671110C165696696 @default.
- W2950671110 hasConceptScore W2950671110C177264268 @default.
- W2950671110 hasConceptScore W2950671110C189950617 @default.
- W2950671110 hasConceptScore W2950671110C192562407 @default.
- W2950671110 hasConceptScore W2950671110C199360897 @default.
- W2950671110 hasConceptScore W2950671110C204323151 @default.
- W2950671110 hasConceptScore W2950671110C24404364 @default.
- W2950671110 hasConceptScore W2950671110C38652104 @default.
- W2950671110 hasConceptScore W2950671110C41008148 @default.
- W2950671110 hasConceptScore W2950671110C48103436 @default.
- W2950671110 hasConceptScore W2950671110C49937458 @default.
- W2950671110 hasConceptScore W2950671110C52063229 @default.
- W2950671110 hasConceptScore W2950671110C80444323 @default.
- W2950671110 hasLocation W29506711101 @default.
- W2950671110 hasOpenAccess W2950671110 @default.
- W2950671110 hasPrimaryLocation W29506711101 @default.
- W2950671110 hasRelatedWork W1480610117 @default.
- W2950671110 hasRelatedWork W1508046216 @default.
- W2950671110 hasRelatedWork W1808570911 @default.
- W2950671110 hasRelatedWork W2017112612 @default.
- W2950671110 hasRelatedWork W2041937391 @default.
- W2950671110 hasRelatedWork W2085428535 @default.
- W2950671110 hasRelatedWork W2123640792 @default.
- W2950671110 hasRelatedWork W2123968982 @default.
- W2950671110 hasRelatedWork W2144853448 @default.
- W2950671110 hasRelatedWork W2147263168 @default.
- W2950671110 hasRelatedWork W2150324074 @default.
- W2950671110 hasRelatedWork W2166496828 @default.
- W2950671110 hasRelatedWork W2173515606 @default.
- W2950671110 hasRelatedWork W2501953491 @default.
- W2950671110 hasRelatedWork W2546968219 @default.
- W2950671110 hasRelatedWork W2949106240 @default.
- W2950671110 hasRelatedWork W2953378180 @default.
- W2950671110 hasRelatedWork W2979551317 @default.
- W2950671110 hasRelatedWork W3092210673 @default.
- W2950671110 hasRelatedWork W3099640838 @default.
- W2950671110 isParatext "false" @default.
- W2950671110 isRetracted "false" @default.
- W2950671110 magId "2950671110" @default.
- W2950671110 workType "article" @default.