Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804174877> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2804174877 abstract "Computing reachability probabilities is a fundamental problem in the analysis of probabilistic programs. This paper aims at a comprehensive and comparative account on various martingale-based methods for over- and under-approximating reachability probabilities. Based on the existing works that stretch across different communities (formal verification, control theory, etc.), we offer a unifying account. In particular, we emphasize the role of order-theoretic fixed points---a classic topic in computer science---in the analysis of probabilistic programs. This leads us to two new martingale-based techniques, too. We give rigorous proofs for their soundness and completeness. We also make an experimental comparison using our implementation of template-based synthesis algorithms for those martingales." @default.
- W2804174877 created "2018-06-01" @default.
- W2804174877 creator A5013382452 @default.
- W2804174877 creator A5026256773 @default.
- W2804174877 creator A5057371246 @default.
- W2804174877 creator A5076929578 @default.
- W2804174877 date "2018-05-28" @default.
- W2804174877 modified "2023-10-14" @default.
- W2804174877 title "Ranking and Repulsing Supermartingales for Approximating Reachability." @default.
- W2804174877 hasPublicationYear "2018" @default.
- W2804174877 type Work @default.
- W2804174877 sameAs 2804174877 @default.
- W2804174877 citedByCount "0" @default.
- W2804174877 crossrefType "posted-content" @default.
- W2804174877 hasAuthorship W2804174877A5013382452 @default.
- W2804174877 hasAuthorship W2804174877A5026256773 @default.
- W2804174877 hasAuthorship W2804174877A5057371246 @default.
- W2804174877 hasAuthorship W2804174877A5076929578 @default.
- W2804174877 hasConcept C108710211 @default.
- W2804174877 hasConcept C11413529 @default.
- W2804174877 hasConcept C134306372 @default.
- W2804174877 hasConcept C136643341 @default.
- W2804174877 hasConcept C154945302 @default.
- W2804174877 hasConcept C17231256 @default.
- W2804174877 hasConcept C199360897 @default.
- W2804174877 hasConcept C2524010 @default.
- W2804174877 hasConcept C28826006 @default.
- W2804174877 hasConcept C33923547 @default.
- W2804174877 hasConcept C39920170 @default.
- W2804174877 hasConcept C41008148 @default.
- W2804174877 hasConcept C48406656 @default.
- W2804174877 hasConcept C49937458 @default.
- W2804174877 hasConcept C80444323 @default.
- W2804174877 hasConceptScore W2804174877C108710211 @default.
- W2804174877 hasConceptScore W2804174877C11413529 @default.
- W2804174877 hasConceptScore W2804174877C134306372 @default.
- W2804174877 hasConceptScore W2804174877C136643341 @default.
- W2804174877 hasConceptScore W2804174877C154945302 @default.
- W2804174877 hasConceptScore W2804174877C17231256 @default.
- W2804174877 hasConceptScore W2804174877C199360897 @default.
- W2804174877 hasConceptScore W2804174877C2524010 @default.
- W2804174877 hasConceptScore W2804174877C28826006 @default.
- W2804174877 hasConceptScore W2804174877C33923547 @default.
- W2804174877 hasConceptScore W2804174877C39920170 @default.
- W2804174877 hasConceptScore W2804174877C41008148 @default.
- W2804174877 hasConceptScore W2804174877C48406656 @default.
- W2804174877 hasConceptScore W2804174877C49937458 @default.
- W2804174877 hasConceptScore W2804174877C80444323 @default.
- W2804174877 hasLocation W28041748771 @default.
- W2804174877 hasOpenAccess W2804174877 @default.
- W2804174877 hasPrimaryLocation W28041748771 @default.
- W2804174877 hasRelatedWork W136416930 @default.
- W2804174877 hasRelatedWork W150120515 @default.
- W2804174877 hasRelatedWork W1544951237 @default.
- W2804174877 hasRelatedWork W155204799 @default.
- W2804174877 hasRelatedWork W1993012473 @default.
- W2804174877 hasRelatedWork W2049711627 @default.
- W2804174877 hasRelatedWork W2073540007 @default.
- W2804174877 hasRelatedWork W2254524570 @default.
- W2804174877 hasRelatedWork W2576680543 @default.
- W2804174877 hasRelatedWork W2615697598 @default.
- W2804174877 hasRelatedWork W2903136864 @default.
- W2804174877 hasRelatedWork W2938679187 @default.
- W2804174877 hasRelatedWork W2949202325 @default.
- W2804174877 hasRelatedWork W3012981624 @default.
- W2804174877 hasRelatedWork W3037193584 @default.
- W2804174877 hasRelatedWork W3049169474 @default.
- W2804174877 hasRelatedWork W3091367373 @default.
- W2804174877 hasRelatedWork W3104214893 @default.
- W2804174877 hasRelatedWork W3166047986 @default.
- W2804174877 hasRelatedWork W4226151415 @default.
- W2804174877 isParatext "false" @default.
- W2804174877 isRetracted "false" @default.
- W2804174877 magId "2804174877" @default.
- W2804174877 workType "article" @default.