Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899428121> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2899428121 abstract "We present a new proof rule for proving almost-sure termination of probabilistic programs, including those that contain demonic non-determinism. An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates “almost surely”. Proving that can be hard, and this paper presents a new method for doing so. It applies directly to the program’s source code, even if the program contains demonic choice. We use variant functions (a.k.a. “super-martingales”) that are real-valued and decrease randomly on each loop iteration; but our key innovation is that the amount as well as the probability of the decrease are parametric. We prove the soundness of the new rule, indicate where its applicability goes beyond existing rules, and explain its connection to Blackwell’s classical results on denumerable (non-demonic) Markov chains." @default.
- W2899428121 created "2018-11-09" @default.
- W2899428121 creator A5035107880 @default.
- W2899428121 creator A5039019347 @default.
- W2899428121 creator A5045667283 @default.
- W2899428121 creator A5090819329 @default.
- W2899428121 date "2018-01-07" @default.
- W2899428121 modified "2023-09-24" @default.
- W2899428121 title "A new proof rule for almost-sure termination" @default.
- W2899428121 hasPublicationYear "2018" @default.
- W2899428121 type Work @default.
- W2899428121 sameAs 2899428121 @default.
- W2899428121 citedByCount "9" @default.
- W2899428121 countsByYear W28994281212018 @default.
- W2899428121 countsByYear W28994281212019 @default.
- W2899428121 countsByYear W28994281212020 @default.
- W2899428121 countsByYear W28994281212021 @default.
- W2899428121 countsByYear W28994281212022 @default.
- W2899428121 crossrefType "proceedings-article" @default.
- W2899428121 hasAuthorship W2899428121A5035107880 @default.
- W2899428121 hasAuthorship W2899428121A5039019347 @default.
- W2899428121 hasAuthorship W2899428121A5045667283 @default.
- W2899428121 hasAuthorship W2899428121A5090819329 @default.
- W2899428121 hasConcept C105795698 @default.
- W2899428121 hasConcept C108710211 @default.
- W2899428121 hasConcept C118615104 @default.
- W2899428121 hasConcept C13355873 @default.
- W2899428121 hasConcept C144237770 @default.
- W2899428121 hasConcept C199360897 @default.
- W2899428121 hasConcept C2524010 @default.
- W2899428121 hasConcept C33923547 @default.
- W2899428121 hasConcept C39920170 @default.
- W2899428121 hasConcept C41008148 @default.
- W2899428121 hasConcept C49937458 @default.
- W2899428121 hasConcept C80444323 @default.
- W2899428121 hasConcept C98763669 @default.
- W2899428121 hasConceptScore W2899428121C105795698 @default.
- W2899428121 hasConceptScore W2899428121C108710211 @default.
- W2899428121 hasConceptScore W2899428121C118615104 @default.
- W2899428121 hasConceptScore W2899428121C13355873 @default.
- W2899428121 hasConceptScore W2899428121C144237770 @default.
- W2899428121 hasConceptScore W2899428121C199360897 @default.
- W2899428121 hasConceptScore W2899428121C2524010 @default.
- W2899428121 hasConceptScore W2899428121C33923547 @default.
- W2899428121 hasConceptScore W2899428121C39920170 @default.
- W2899428121 hasConceptScore W2899428121C41008148 @default.
- W2899428121 hasConceptScore W2899428121C49937458 @default.
- W2899428121 hasConceptScore W2899428121C80444323 @default.
- W2899428121 hasConceptScore W2899428121C98763669 @default.
- W2899428121 hasLocation W28994281211 @default.
- W2899428121 hasOpenAccess W2899428121 @default.
- W2899428121 hasPrimaryLocation W28994281211 @default.
- W2899428121 hasRelatedWork W1498432697 @default.
- W2899428121 hasRelatedWork W1530375435 @default.
- W2899428121 hasRelatedWork W1557307633 @default.
- W2899428121 hasRelatedWork W1595069411 @default.
- W2899428121 hasRelatedWork W1595989212 @default.
- W2899428121 hasRelatedWork W1605543919 @default.
- W2899428121 hasRelatedWork W1734364899 @default.
- W2899428121 hasRelatedWork W2024355065 @default.
- W2899428121 hasRelatedWork W2166496828 @default.
- W2899428121 hasRelatedWork W2222812367 @default.
- W2899428121 hasRelatedWork W2233431969 @default.
- W2899428121 hasRelatedWork W2294463722 @default.
- W2899428121 hasRelatedWork W2295266283 @default.
- W2899428121 hasRelatedWork W2435583538 @default.
- W2899428121 hasRelatedWork W2548604229 @default.
- W2899428121 hasRelatedWork W2768683713 @default.
- W2899428121 hasRelatedWork W2893610333 @default.
- W2899428121 hasRelatedWork W2898739661 @default.
- W2899428121 hasRelatedWork W2955146084 @default.
- W2899428121 hasRelatedWork W72346910 @default.
- W2899428121 isParatext "false" @default.
- W2899428121 isRetracted "false" @default.
- W2899428121 magId "2899428121" @default.
- W2899428121 workType "article" @default.