FRINK Linked Data Fragments server

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

• W2951786136 abstract "We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic probabilistic programs with polynomial guards and assignments. Our approach is through synthesis of polynomial ranking supermartingales, that on one hand significantly generalizes linear ranking supermartingales and on the other hand is a counterpart of polynomial ranking-functions for proving termination of nonprobabilistic programs. The approach synthesizes polynomial ranking-supermartingales through Positivstellensatz's, yielding an efficient method which is not only sound, but also semi-complete over a large subclass of programs. We show experimental results to demonstrate that our approach can handle several classical programs with complex polynomial guards and assignments, and can synthesize efficient quadratic ranking-supermartingales when a linear one does not exist even for simple affine programs." @default.
• W2951786136 created "2019-06-27" @default.
• W2951786136 creator A5005241421 @default.
• W2951786136 creator A5031020748 @default.
• W2951786136 creator A5052607806 @default.
• W2951786136 date "2016-04-25" @default.
• W2951786136 modified "2023-09-27" @default.
• W2951786136 title "Termination Analysis of Probabilistic Programs through Positivstellensatz's" @default.
• W2951786136 cites W124331494 @default.
• W2951786136 cites W131296717 @default.
• W2951786136 cites W1505135855 @default.
• W2951786136 cites W1530375435 @default.
• W2951786136 cites W1549039738 @default.
• W2951786136 cites W1557307633 @default.
• W2951786136 cites W1586790674 @default.
• W2951786136 cites W1595989212 @default.
• W2951786136 cites W1602844557 @default.
• W2951786136 cites W1605543919 @default.
• W2951786136 cites W1608799719 @default.
• W2951786136 cites W1862398452 @default.
• W2951786136 cites W1989274820 @default.
• W2951786136 cites W1997553387 @default.
• W2951786136 cites W1998724430 @default.
• W2951786136 cites W2028145673 @default.
• W2951786136 cites W2037009101 @default.
• W2951786136 cites W2043100293 @default.
• W2951786136 cites W2048025009 @default.
• W2951786136 cites W2069300761 @default.
• W2951786136 cites W2081320273 @default.
• W2951786136 cites W2100440346 @default.
• W2951786136 cites W2103012681 @default.
• W2951786136 cites W2107726111 @default.
• W2951786136 cites W2136333450 @default.
• W2951786136 cites W2151958719 @default.
• W2951786136 cites W2166496828 @default.
• W2951786136 cites W2168359464 @default.
• W2951786136 cites W2233431969 @default.
• W2951786136 cites W2295428206 @default.
• W2951786136 cites W2435583538 @default.
• W2951786136 cites W2573816347 @default.
• W2951786136 cites W72346910 @default.
• W2951786136 cites W99708544 @default.
• W2951786136 hasPublicationYear "2016" @default.
• W2951786136 type Work @default.
• W2951786136 sameAs 2951786136 @default.
• W2951786136 citedByCount "6" @default.
• W2951786136 countsByYear W29517861362017 @default.
• W2951786136 countsByYear W29517861362020 @default.
• W2951786136 crossrefType "posted-content" @default.
• W2951786136 hasAuthorship W2951786136A5005241421 @default.
• W2951786136 hasAuthorship W2951786136A5031020748 @default.
• W2951786136 hasAuthorship W2951786136A5052607806 @default.
• W2951786136 hasConcept C111472728 @default.
• W2951786136 hasConcept C118615104 @default.
• W2951786136 hasConcept C134306372 @default.
• W2951786136 hasConcept C136119220 @default.
• W2951786136 hasConcept C138885662 @default.
• W2951786136 hasConcept C154945302 @default.
• W2951786136 hasConcept C15569618 @default.
• W2951786136 hasConcept C176181172 @default.
• W2951786136 hasConcept C189430467 @default.
• W2951786136 hasConcept C202444582 @default.
• W2951786136 hasConcept C2780586882 @default.
• W2951786136 hasConcept C311688 @default.
• W2951786136 hasConcept C33923547 @default.
• W2951786136 hasConcept C41008148 @default.
• W2951786136 hasConcept C49937458 @default.
• W2951786136 hasConcept C80444323 @default.
• W2951786136 hasConcept C90119067 @default.
• W2951786136 hasConcept C92757383 @default.
• W2951786136 hasConceptScore W2951786136C111472728 @default.
• W2951786136 hasConceptScore W2951786136C118615104 @default.
• W2951786136 hasConceptScore W2951786136C134306372 @default.
• W2951786136 hasConceptScore W2951786136C136119220 @default.
• W2951786136 hasConceptScore W2951786136C138885662 @default.
• W2951786136 hasConceptScore W2951786136C154945302 @default.
• W2951786136 hasConceptScore W2951786136C15569618 @default.
• W2951786136 hasConceptScore W2951786136C176181172 @default.
• W2951786136 hasConceptScore W2951786136C189430467 @default.
• W2951786136 hasConceptScore W2951786136C202444582 @default.
• W2951786136 hasConceptScore W2951786136C2780586882 @default.
• W2951786136 hasConceptScore W2951786136C311688 @default.
• W2951786136 hasConceptScore W2951786136C33923547 @default.
• W2951786136 hasConceptScore W2951786136C41008148 @default.
• W2951786136 hasConceptScore W2951786136C49937458 @default.
• W2951786136 hasConceptScore W2951786136C80444323 @default.
• W2951786136 hasConceptScore W2951786136C90119067 @default.
• W2951786136 hasConceptScore W2951786136C92757383 @default.
• W2951786136 hasLocation W29517861361 @default.
• W2951786136 hasOpenAccess W2951786136 @default.
• W2951786136 hasPrimaryLocation W29517861361 @default.
• W2951786136 hasRelatedWork W1498432697 @default.
• W2951786136 hasRelatedWork W1505135855 @default.
• W2951786136 hasRelatedWork W1783037402 @default.
• W2951786136 hasRelatedWork W199366308 @default.
• W2951786136 hasRelatedWork W2076660824 @default.
• W2951786136 hasRelatedWork W2109858088 @default.
• W2951786136 hasRelatedWork W2166496828 @default.
• W2951786136 hasRelatedWork W2295266283 @default.
• W2951786136 hasRelatedWork W2435583538 @default.

• next