FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2548604229> ?p ?o ?g. }

• W2548604229 abstract "Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates with probability 1 (almost-sure termination). A powerful approach for this qualitative problem is the notion of ranking supermartingales with respect to a given set of invariants. The quantitative problem (probabilistic termination) asks for bounds on the termination probability, and this problem has not been addressed yet. A fundamental and conceptual drawback of the existing approaches to address probabilistic termination is that even though the supermartingales consider the probabilistic behaviour of the programs, the invariants are obtained completely ignoring the probabilistic aspect (i.e., the invariants are obtained considering all behaviours with no information about the probability)." @default.
• W2548604229 created "2016-11-11" @default.
• W2548604229 creator A5026464429 @default.
• W2548604229 creator A5041082080 @default.
• W2548604229 creator A5052607806 @default.
• W2548604229 date "2017-01-01" @default.
• W2548604229 modified "2023-10-18" @default.
• W2548604229 title "Stochastic invariants for probabilistic termination" @default.
• W2548604229 cites W1496468608 @default.
• W2548604229 cites W1498004481 @default.
• W2548604229 cites W1499072146 @default.
• W2548604229 cites W1585194019 @default.
• W2548604229 cites W1589106570 @default.
• W2548604229 cites W1595989212 @default.
• W2548604229 cites W1605543919 @default.
• W2548604229 cites W1608799719 @default.
• W2548604229 cites W1975636681 @default.
• W2548604229 cites W1982800675 @default.
• W2548604229 cites W1989462119 @default.
• W2548604229 cites W1993112505 @default.
• W2548604229 cites W1993129359 @default.
• W2548604229 cites W1996417974 @default.
• W2548604229 cites W2001097638 @default.
• W2548604229 cites W2005805388 @default.
• W2548604229 cites W2024355065 @default.
• W2548604229 cites W2043100293 @default.
• W2548604229 cites W2048025009 @default.
• W2548604229 cites W2054940841 @default.
• W2548604229 cites W2068106852 @default.
• W2548604229 cites W2081320273 @default.
• W2548604229 cites W2084147655 @default.
• W2548604229 cites W2100301927 @default.
• W2548604229 cites W2107399212 @default.
• W2548604229 cites W2122843152 @default.
• W2548604229 cites W2151958719 @default.
• W2548604229 cites W2166496828 @default.
• W2548604229 cites W2168359464 @default.
• W2548604229 cites W2233431969 @default.
• W2548604229 cites W2295266283 @default.
• W2548604229 cites W2471883032 @default.
• W2548604229 cites W2548604229 @default.
• W2548604229 cites W2913788705 @default.
• W2548604229 cites W4212875940 @default.
• W2548604229 cites W4230058301 @default.
• W2548604229 cites W4236847445 @default.
• W2548604229 cites W4251912342 @default.
• W2548604229 cites W57094165 @default.
• W2548604229 doi "https://doi.org/10.1145/3009837.3009873" @default.
• W2548604229 hasPublicationYear "2017" @default.
• W2548604229 type Work @default.
• W2548604229 sameAs 2548604229 @default.
• W2548604229 citedByCount "45" @default.
• W2548604229 countsByYear W25486042292017 @default.
• W2548604229 countsByYear W25486042292018 @default.
• W2548604229 countsByYear W25486042292019 @default.
• W2548604229 countsByYear W25486042292020 @default.
• W2548604229 countsByYear W25486042292021 @default.
• W2548604229 countsByYear W25486042292022 @default.
• W2548604229 countsByYear W25486042292023 @default.
• W2548604229 crossrefType "proceedings-article" @default.
• W2548604229 hasAuthorship W2548604229A5026464429 @default.
• W2548604229 hasAuthorship W2548604229A5041082080 @default.
• W2548604229 hasAuthorship W2548604229A5052607806 @default.
• W2548604229 hasBestOaLocation W25486042292 @default.
• W2548604229 hasConcept C128828806 @default.
• W2548604229 hasConcept C154945302 @default.
• W2548604229 hasConcept C15569618 @default.
• W2548604229 hasConcept C177264268 @default.
• W2548604229 hasConcept C189430467 @default.
• W2548604229 hasConcept C199360897 @default.
• W2548604229 hasConcept C24404364 @default.
• W2548604229 hasConcept C33923547 @default.
• W2548604229 hasConcept C41008148 @default.
• W2548604229 hasConcept C49937458 @default.
• W2548604229 hasConcept C52063229 @default.
• W2548604229 hasConcept C80444323 @default.
• W2548604229 hasConceptScore W2548604229C128828806 @default.
• W2548604229 hasConceptScore W2548604229C154945302 @default.
• W2548604229 hasConceptScore W2548604229C15569618 @default.
• W2548604229 hasConceptScore W2548604229C177264268 @default.
• W2548604229 hasConceptScore W2548604229C189430467 @default.
• W2548604229 hasConceptScore W2548604229C199360897 @default.
• W2548604229 hasConceptScore W2548604229C24404364 @default.
• W2548604229 hasConceptScore W2548604229C33923547 @default.
• W2548604229 hasConceptScore W2548604229C41008148 @default.
• W2548604229 hasConceptScore W2548604229C49937458 @default.
• W2548604229 hasConceptScore W2548604229C52063229 @default.
• W2548604229 hasConceptScore W2548604229C80444323 @default.
• W2548604229 hasFunder F4320321003 @default.
• W2548604229 hasFunder F4320321181 @default.
• W2548604229 hasFunder F4320334678 @default.
• W2548604229 hasFunder F4320334960 @default.
• W2548604229 hasLocation W25486042291 @default.
• W2548604229 hasLocation W25486042292 @default.
• W2548604229 hasOpenAccess W2548604229 @default.
• W2548604229 hasPrimaryLocation W25486042291 @default.
• W2548604229 hasRelatedWork W1556044724 @default.
• W2548604229 hasRelatedWork W164001702 @default.
• W2548604229 hasRelatedWork W2104279947 @default.
• W2548604229 hasRelatedWork W2228846761 @default.

• next