Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366451130> ?p ?o ?g. }
- W4366451130 endingPage "429" @default.
- W4366451130 startingPage "410" @default.
- W4366451130 abstract "Abstract Essential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reachability properties by generating inductive invariants on source-code level . Our implementation shows promise: It finds invariants for (in)finite-state programs, can beat state-of-the-art probabilistic model checkers, and is competitive with modern tools dedicated to invariant synthesis and expected runtime reasoning." @default.
- W4366451130 created "2023-04-22" @default.
- W4366451130 creator A5018941708 @default.
- W4366451130 creator A5043436285 @default.
- W4366451130 creator A5045667283 @default.
- W4366451130 creator A5055444271 @default.
- W4366451130 creator A5080606370 @default.
- W4366451130 creator A5089189715 @default.
- W4366451130 date "2023-01-01" @default.
- W4366451130 modified "2023-09-26" @default.
- W4366451130 title "Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants" @default.
- W4366451130 cites W145069693 @default.
- W4366451130 cites W1480909796 @default.
- W4366451130 cites W1561934984 @default.
- W4366451130 cites W1583191255 @default.
- W4366451130 cites W1729037535 @default.
- W4366451130 cites W1806449990 @default.
- W4366451130 cites W1948975400 @default.
- W4366451130 cites W2046213250 @default.
- W4366451130 cites W2058440484 @default.
- W4366451130 cites W2153945968 @default.
- W4366451130 cites W2222812367 @default.
- W4366451130 cites W2275461604 @default.
- W4366451130 cites W2334782222 @default.
- W4366451130 cites W2435583538 @default.
- W4366451130 cites W2471883032 @default.
- W4366451130 cites W2494200839 @default.
- W4366451130 cites W2607296636 @default.
- W4366451130 cites W2735021239 @default.
- W4366451130 cites W2755806184 @default.
- W4366451130 cites W2797067769 @default.
- W4366451130 cites W2803490327 @default.
- W4366451130 cites W2893610333 @default.
- W4366451130 cites W2908549554 @default.
- W4366451130 cites W2926374695 @default.
- W4366451130 cites W2950486995 @default.
- W4366451130 cites W2951490272 @default.
- W4366451130 cites W2963258324 @default.
- W4366451130 cites W2964256340 @default.
- W4366451130 cites W2982014993 @default.
- W4366451130 cites W2995951356 @default.
- W4366451130 cites W3046454509 @default.
- W4366451130 cites W3046677588 @default.
- W4366451130 cites W3100287873 @default.
- W4366451130 cites W3119972339 @default.
- W4366451130 cites W3142023506 @default.
- W4366451130 cites W3144365821 @default.
- W4366451130 cites W3163311278 @default.
- W4366451130 cites W3167391728 @default.
- W4366451130 cites W3171209508 @default.
- W4366451130 cites W3179132544 @default.
- W4366451130 cites W3184096451 @default.
- W4366451130 cites W3186149862 @default.
- W4366451130 cites W3186609013 @default.
- W4366451130 cites W4235271643 @default.
- W4366451130 cites W4290087462 @default.
- W4366451130 cites W4366451130 @default.
- W4366451130 cites W52952690 @default.
- W4366451130 cites W72346910 @default.
- W4366451130 doi "https://doi.org/10.1007/978-3-031-30820-8_25" @default.
- W4366451130 hasPublicationYear "2023" @default.
- W4366451130 type Work @default.
- W4366451130 citedByCount "2" @default.
- W4366451130 countsByYear W43664511302023 @default.
- W4366451130 crossrefType "book-chapter" @default.
- W4366451130 hasAuthorship W4366451130A5018941708 @default.
- W4366451130 hasAuthorship W4366451130A5043436285 @default.
- W4366451130 hasAuthorship W4366451130A5045667283 @default.
- W4366451130 hasAuthorship W4366451130A5055444271 @default.
- W4366451130 hasAuthorship W4366451130A5080606370 @default.
- W4366451130 hasAuthorship W4366451130A5089189715 @default.
- W4366451130 hasBestOaLocation W43664511301 @default.
- W4366451130 hasConcept C110251889 @default.
- W4366451130 hasConcept C111472728 @default.
- W4366451130 hasConcept C136643341 @default.
- W4366451130 hasConcept C138885662 @default.
- W4366451130 hasConcept C154945302 @default.
- W4366451130 hasConcept C167822520 @default.
- W4366451130 hasConcept C190470478 @default.
- W4366451130 hasConcept C199360897 @default.
- W4366451130 hasConcept C2780586882 @default.
- W4366451130 hasConcept C33923547 @default.
- W4366451130 hasConcept C37914503 @default.
- W4366451130 hasConcept C41008148 @default.
- W4366451130 hasConcept C49937458 @default.
- W4366451130 hasConcept C63584917 @default.
- W4366451130 hasConcept C80444323 @default.
- W4366451130 hasConceptScore W4366451130C110251889 @default.
- W4366451130 hasConceptScore W4366451130C111472728 @default.
- W4366451130 hasConceptScore W4366451130C136643341 @default.
- W4366451130 hasConceptScore W4366451130C138885662 @default.
- W4366451130 hasConceptScore W4366451130C154945302 @default.
- W4366451130 hasConceptScore W4366451130C167822520 @default.
- W4366451130 hasConceptScore W4366451130C190470478 @default.
- W4366451130 hasConceptScore W4366451130C199360897 @default.
- W4366451130 hasConceptScore W4366451130C2780586882 @default.
- W4366451130 hasConceptScore W4366451130C33923547 @default.
- W4366451130 hasConceptScore W4366451130C37914503 @default.