Matches in SemOpenAlex for { <https://semopenalex.org/work/W3113707816> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3113707816 abstract "We study a syntax for specifying quantitative “assertions†— functions mapping program states to numbers — for probabilistic program verification. We prove that our syntax is expressive in the following sense: Given any probabilistic program C, if a function f is expressible in our syntax, then the function mapping each initial state Iƒ to the expected value of f evaluated in the final states reached after termination C on Iƒ (also called the weakest preexpectation wp[C](f)) is also expressible in our syntax." @default.
- W3113707816 created "2021-01-05" @default.
- W3113707816 creator A5045667283 @default.
- W3113707816 creator A5055444271 @default.
- W3113707816 creator A5089189715 @default.
- W3113707816 creator A5090819329 @default.
- W3113707816 date "2021-01-17" @default.
- W3113707816 modified "2023-09-23" @default.
- W3113707816 title "Relatively Complete Verification of Probabilistic Programs" @default.
- W3113707816 hasPublicationYear "2021" @default.
- W3113707816 type Work @default.
- W3113707816 sameAs 3113707816 @default.
- W3113707816 citedByCount "0" @default.
- W3113707816 crossrefType "proceedings-article" @default.
- W3113707816 hasAuthorship W3113707816A5045667283 @default.
- W3113707816 hasAuthorship W3113707816A5055444271 @default.
- W3113707816 hasAuthorship W3113707816A5089189715 @default.
- W3113707816 hasAuthorship W3113707816A5090819329 @default.
- W3113707816 hasConcept C11742125 @default.
- W3113707816 hasConcept C119857082 @default.
- W3113707816 hasConcept C14036430 @default.
- W3113707816 hasConcept C154945302 @default.
- W3113707816 hasConcept C184337299 @default.
- W3113707816 hasConcept C199360897 @default.
- W3113707816 hasConcept C204321447 @default.
- W3113707816 hasConcept C2776291640 @default.
- W3113707816 hasConcept C41008148 @default.
- W3113707816 hasConcept C48103436 @default.
- W3113707816 hasConcept C49937458 @default.
- W3113707816 hasConcept C58646249 @default.
- W3113707816 hasConcept C60048249 @default.
- W3113707816 hasConcept C78458016 @default.
- W3113707816 hasConcept C80444323 @default.
- W3113707816 hasConcept C86803240 @default.
- W3113707816 hasConceptScore W3113707816C11742125 @default.
- W3113707816 hasConceptScore W3113707816C119857082 @default.
- W3113707816 hasConceptScore W3113707816C14036430 @default.
- W3113707816 hasConceptScore W3113707816C154945302 @default.
- W3113707816 hasConceptScore W3113707816C184337299 @default.
- W3113707816 hasConceptScore W3113707816C199360897 @default.
- W3113707816 hasConceptScore W3113707816C204321447 @default.
- W3113707816 hasConceptScore W3113707816C2776291640 @default.
- W3113707816 hasConceptScore W3113707816C41008148 @default.
- W3113707816 hasConceptScore W3113707816C48103436 @default.
- W3113707816 hasConceptScore W3113707816C49937458 @default.
- W3113707816 hasConceptScore W3113707816C58646249 @default.
- W3113707816 hasConceptScore W3113707816C60048249 @default.
- W3113707816 hasConceptScore W3113707816C78458016 @default.
- W3113707816 hasConceptScore W3113707816C80444323 @default.
- W3113707816 hasConceptScore W3113707816C86803240 @default.
- W3113707816 hasOpenAccess W3113707816 @default.
- W3113707816 hasRelatedWork W1495843174 @default.
- W3113707816 hasRelatedWork W156597103 @default.
- W3113707816 hasRelatedWork W1768836394 @default.
- W3113707816 hasRelatedWork W1834328158 @default.
- W3113707816 hasRelatedWork W1867728111 @default.
- W3113707816 hasRelatedWork W2039744511 @default.
- W3113707816 hasRelatedWork W2111487551 @default.
- W3113707816 hasRelatedWork W2907351305 @default.
- W3113707816 hasRelatedWork W2950298152 @default.
- W3113707816 hasRelatedWork W2951261823 @default.
- W3113707816 hasRelatedWork W3047615755 @default.
- W3113707816 hasRelatedWork W3085901449 @default.
- W3113707816 hasRelatedWork W3096247409 @default.
- W3113707816 hasRelatedWork W3100367581 @default.
- W3113707816 hasRelatedWork W310657667 @default.
- W3113707816 hasRelatedWork W3124655276 @default.
- W3113707816 hasRelatedWork W3208606349 @default.
- W3113707816 hasRelatedWork W61857497 @default.
- W3113707816 hasRelatedWork W1551824194 @default.
- W3113707816 isParatext "false" @default.
- W3113707816 isRetracted "false" @default.
- W3113707816 magId "3113707816" @default.
- W3113707816 workType "article" @default.