Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016662015> ?p ?o ?g. }
- W3016662015 endingPage "342" @default.
- W3016662015 startingPage "327" @default.
- W3016662015 abstract "In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: 1. qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); 2. quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs. In detail, we focus on algorithmic synthesis of linear ranking-supermartingales over affine probabilistic programs (APP's) with both angelic and demonic non-determinism. An important subclass of APP's is LRAPP which is defined as the class of all APP's over which a linear ranking-supermartingale exists. Our main contributions are as follows. Firstly, we show that the membership problem of LRAPP (i) can be decided in polynomial time for APP's with at most demonic non-determinism, and (ii) is NP-hard and in PSPACE for APP's with angelic non-determinism; moreover, the NP-hardness result holds already for APP's without probability and demonic non-determinism. Secondly, we show that the concentration problem over LRAPP can be solved in the same complexity as for the membership problem of LRAPP. Finally, we show that the expectation problem over LRAPP can be solved in 2EXPTIME and is PSPACE-hard even for APP's without probability and non-determinism (i.e., deterministic programs). Our experimental results demonstrate the effectiveness of our approach to answer the qualitative and quantitative questions over APP's with at most demonic non-determinism." @default.
- W3016662015 created "2020-04-24" @default.
- W3016662015 creator A5001362073 @default.
- W3016662015 creator A5038234416 @default.
- W3016662015 creator A5042185272 @default.
- W3016662015 creator A5054600514 @default.
- W3016662015 date "2016-01-11" @default.
- W3016662015 modified "2023-10-18" @default.
- W3016662015 title "Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs" @default.
- W3016662015 cites W1545759797 @default.
- W3016662015 cites W1585194019 @default.
- W3016662015 cites W1589106570 @default.
- W3016662015 cites W1595989212 @default.
- W3016662015 cites W1605543919 @default.
- W3016662015 cites W1608799719 @default.
- W3016662015 cites W1989274820 @default.
- W3016662015 cites W1989462119 @default.
- W3016662015 cites W1993129359 @default.
- W3016662015 cites W1999678910 @default.
- W3016662015 cites W2001097638 @default.
- W3016662015 cites W2002240881 @default.
- W3016662015 cites W2008740515 @default.
- W3016662015 cites W2043100293 @default.
- W3016662015 cites W2048025009 @default.
- W3016662015 cites W2054940841 @default.
- W3016662015 cites W2067754486 @default.
- W3016662015 cites W2081320273 @default.
- W3016662015 cites W2083374362 @default.
- W3016662015 cites W2151958719 @default.
- W3016662015 cites W2166496828 @default.
- W3016662015 cites W2168359464 @default.
- W3016662015 cites W2233431969 @default.
- W3016662015 cites W4212875940 @default.
- W3016662015 cites W4230058301 @default.
- W3016662015 cites W4233413206 @default.
- W3016662015 cites W4245234767 @default.
- W3016662015 cites W4251912342 @default.
- W3016662015 cites W4300129738 @default.
- W3016662015 doi "https://doi.org/10.1145/2914770.2837639" @default.
- W3016662015 hasPublicationYear "2016" @default.
- W3016662015 type Work @default.
- W3016662015 sameAs 3016662015 @default.
- W3016662015 citedByCount "14" @default.
- W3016662015 countsByYear W30166620152016 @default.
- W3016662015 countsByYear W30166620152017 @default.
- W3016662015 countsByYear W30166620152018 @default.
- W3016662015 countsByYear W30166620152019 @default.
- W3016662015 countsByYear W30166620152023 @default.
- W3016662015 crossrefType "journal-article" @default.
- W3016662015 hasAuthorship W3016662015A5001362073 @default.
- W3016662015 hasAuthorship W3016662015A5038234416 @default.
- W3016662015 hasAuthorship W3016662015A5042185272 @default.
- W3016662015 hasAuthorship W3016662015A5054600514 @default.
- W3016662015 hasBestOaLocation W30166620152 @default.
- W3016662015 hasConcept C11413529 @default.
- W3016662015 hasConcept C115988155 @default.
- W3016662015 hasConcept C118615104 @default.
- W3016662015 hasConcept C120665830 @default.
- W3016662015 hasConcept C121332964 @default.
- W3016662015 hasConcept C134026603 @default.
- W3016662015 hasConcept C134306372 @default.
- W3016662015 hasConcept C154945302 @default.
- W3016662015 hasConcept C179799912 @default.
- W3016662015 hasConcept C189430467 @default.
- W3016662015 hasConcept C192183473 @default.
- W3016662015 hasConcept C192209626 @default.
- W3016662015 hasConcept C197685441 @default.
- W3016662015 hasConcept C24404364 @default.
- W3016662015 hasConcept C2777212361 @default.
- W3016662015 hasConcept C311688 @default.
- W3016662015 hasConcept C33923547 @default.
- W3016662015 hasConcept C39637292 @default.
- W3016662015 hasConcept C41008148 @default.
- W3016662015 hasConcept C49937458 @default.
- W3016662015 hasConcept C62520636 @default.
- W3016662015 hasConcept C77553402 @default.
- W3016662015 hasConcept C80444323 @default.
- W3016662015 hasConceptScore W3016662015C11413529 @default.
- W3016662015 hasConceptScore W3016662015C115988155 @default.
- W3016662015 hasConceptScore W3016662015C118615104 @default.
- W3016662015 hasConceptScore W3016662015C120665830 @default.
- W3016662015 hasConceptScore W3016662015C121332964 @default.
- W3016662015 hasConceptScore W3016662015C134026603 @default.
- W3016662015 hasConceptScore W3016662015C134306372 @default.
- W3016662015 hasConceptScore W3016662015C154945302 @default.
- W3016662015 hasConceptScore W3016662015C179799912 @default.
- W3016662015 hasConceptScore W3016662015C189430467 @default.
- W3016662015 hasConceptScore W3016662015C192183473 @default.
- W3016662015 hasConceptScore W3016662015C192209626 @default.
- W3016662015 hasConceptScore W3016662015C197685441 @default.
- W3016662015 hasConceptScore W3016662015C24404364 @default.
- W3016662015 hasConceptScore W3016662015C2777212361 @default.
- W3016662015 hasConceptScore W3016662015C311688 @default.
- W3016662015 hasConceptScore W3016662015C33923547 @default.
- W3016662015 hasConceptScore W3016662015C39637292 @default.
- W3016662015 hasConceptScore W3016662015C41008148 @default.
- W3016662015 hasConceptScore W3016662015C49937458 @default.
- W3016662015 hasConceptScore W3016662015C62520636 @default.