FRINK Linked Data Fragments server

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

• W2950144488 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.
• W2950144488 created "2019-06-27" @default.
• W2950144488 creator A5026464429 @default.
• W2950144488 creator A5031020748 @default.
• W2950144488 creator A5052607806 @default.
• W2950144488 creator A5057315820 @default.
• W2950144488 date "2015-10-28" @default.
• W2950144488 modified "2023-09-27" @default.
• W2950144488 title "Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs" @default.
• W2950144488 cites W105203805 @default.
• W2950144488 cites W124331494 @default.
• W2950144488 cites W1498432697 @default.
• W2950144488 cites W1505135855 @default.
• W2950144488 cites W1530375435 @default.
• W2950144488 cites W1543209374 @default.
• W2950144488 cites W1545759797 @default.
• W2950144488 cites W1549039738 @default.
• W2950144488 cites W1557307633 @default.
• W2950144488 cites W1585194019 @default.
• W2950144488 cites W1586790674 @default.
• W2950144488 cites W1595989212 @default.
• W2950144488 cites W1602844557 @default.
• W2950144488 cites W1608799719 @default.
• W2950144488 cites W1729037535 @default.
• W2950144488 cites W1862398452 @default.
• W2950144488 cites W1993129359 @default.
• W2950144488 cites W2002240881 @default.
• W2950144488 cites W2008740515 @default.
• W2950144488 cites W2028145673 @default.
• W2950144488 cites W2043100293 @default.
• W2950144488 cites W2054940841 @default.
• W2950144488 cites W2067754486 @default.
• W2950144488 cites W2081320273 @default.
• W2950144488 cites W2103012681 @default.
• W2950144488 cites W2107726111 @default.
• W2950144488 cites W2109100253 @default.
• W2950144488 cites W2166496828 @default.
• W2950144488 cites W2168359464 @default.
• W2950144488 cites W2295428206 @default.
• W2950144488 cites W2573816347 @default.
• W2950144488 cites W642313811 @default.
• W2950144488 cites W72346910 @default.
• W2950144488 hasPublicationYear "2015" @default.
• W2950144488 type Work @default.
• W2950144488 sameAs 2950144488 @default.
• W2950144488 citedByCount "0" @default.
• W2950144488 crossrefType "posted-content" @default.
• W2950144488 hasAuthorship W2950144488A5026464429 @default.
• W2950144488 hasAuthorship W2950144488A5031020748 @default.
• W2950144488 hasAuthorship W2950144488A5052607806 @default.
• W2950144488 hasAuthorship W2950144488A5057315820 @default.
• W2950144488 hasConcept C11413529 @default.
• W2950144488 hasConcept C115988155 @default.
• W2950144488 hasConcept C118615104 @default.
• W2950144488 hasConcept C120665830 @default.
• W2950144488 hasConcept C121332964 @default.
• W2950144488 hasConcept C134026603 @default.
• W2950144488 hasConcept C134306372 @default.
• W2950144488 hasConcept C154945302 @default.
• W2950144488 hasConcept C179799912 @default.
• W2950144488 hasConcept C189430467 @default.
• W2950144488 hasConcept C192183473 @default.
• W2950144488 hasConcept C192209626 @default.
• W2950144488 hasConcept C197685441 @default.
• W2950144488 hasConcept C24404364 @default.
• W2950144488 hasConcept C2777212361 @default.
• W2950144488 hasConcept C311688 @default.
• W2950144488 hasConcept C33923547 @default.
• W2950144488 hasConcept C39637292 @default.
• W2950144488 hasConcept C41008148 @default.
• W2950144488 hasConcept C49937458 @default.
• W2950144488 hasConcept C62520636 @default.
• W2950144488 hasConcept C77553402 @default.
• W2950144488 hasConcept C80444323 @default.
• W2950144488 hasConceptScore W2950144488C11413529 @default.
• W2950144488 hasConceptScore W2950144488C115988155 @default.
• W2950144488 hasConceptScore W2950144488C118615104 @default.
• W2950144488 hasConceptScore W2950144488C120665830 @default.
• W2950144488 hasConceptScore W2950144488C121332964 @default.
• W2950144488 hasConceptScore W2950144488C134026603 @default.
• W2950144488 hasConceptScore W2950144488C134306372 @default.
• W2950144488 hasConceptScore W2950144488C154945302 @default.
• W2950144488 hasConceptScore W2950144488C179799912 @default.
• W2950144488 hasConceptScore W2950144488C189430467 @default.
• W2950144488 hasConceptScore W2950144488C192183473 @default.
• W2950144488 hasConceptScore W2950144488C192209626 @default.
• W2950144488 hasConceptScore W2950144488C197685441 @default.
• W2950144488 hasConceptScore W2950144488C24404364 @default.
• W2950144488 hasConceptScore W2950144488C2777212361 @default.
• W2950144488 hasConceptScore W2950144488C311688 @default.
• W2950144488 hasConceptScore W2950144488C33923547 @default.
• W2950144488 hasConceptScore W2950144488C39637292 @default.
• W2950144488 hasConceptScore W2950144488C41008148 @default.
• W2950144488 hasConceptScore W2950144488C49937458 @default.
• W2950144488 hasConceptScore W2950144488C62520636 @default.
• W2950144488 hasConceptScore W2950144488C77553402 @default.
• W2950144488 hasConceptScore W2950144488C80444323 @default.
• W2950144488 hasLocation W29501444881 @default.
• W2950144488 hasOpenAccess W2950144488 @default.
• W2950144488 hasPrimaryLocation W29501444881 @default.

• next