FRINK Linked Data Fragments server

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

• W4384573216 endingPage "63" @default.
• W4384573216 startingPage "41" @default.
• W4384573216 abstract "Abstract We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley’s property directed reachability algorithm. For finding safe invariants or counterexamples, the first algorithm exploits over-approximations of both forward and backward transition relations, expressed abstractly by the notion of adjoints. In the absence of adjoints, one can use the second algorithm, which exploits lower sets and their principals. As a notable example of application, we consider quantitative reachability problems for Markov Decision Processes." @default.
• W4384573216 created "2023-07-18" @default.
• W4384573216 creator A5003961991 @default.
• W4384573216 creator A5013382452 @default.
• W4384573216 creator A5018601753 @default.
• W4384573216 creator A5037127043 @default.
• W4384573216 creator A5090195630 @default.
• W4384573216 creator A5004609161 @default.
• W4384573216 date "2023-01-01" @default.
• W4384573216 modified "2023-10-18" @default.
• W4384573216 title "Exploiting Adjoints in Property Directed Reachability Analysis" @default.
• W4384573216 cites W1480909796 @default.
• W4384573216 cites W1540013686 @default.
• W4384573216 cites W1566132409 @default.
• W4384573216 cites W1596431623 @default.
• W4384573216 cites W1862398452 @default.
• W4384573216 cites W2043100293 @default.
• W4384573216 cites W2046160987 @default.
• W4384573216 cites W2093397547 @default.
• W4384573216 cites W2120713972 @default.
• W4384573216 cites W2593267253 @default.
• W4384573216 cites W2735021239 @default.
• W4384573216 cites W2799098646 @default.
• W4384573216 cites W2932972683 @default.
• W4384573216 cites W2945072110 @default.
• W4384573216 cites W2964256340 @default.
• W4384573216 cites W2964318636 @default.
• W4384573216 cites W2984738788 @default.
• W4384573216 cites W3046454509 @default.
• W4384573216 cites W3046677588 @default.
• W4384573216 cites W3138459719 @default.
• W4384573216 cites W3209011097 @default.
• W4384573216 cites W4290087507 @default.
• W4384573216 cites W49202426 @default.
• W4384573216 cites W81626549 @default.
• W4384573216 doi "https://doi.org/10.1007/978-3-031-37703-7_3" @default.
• W4384573216 hasPublicationYear "2023" @default.
• W4384573216 type Work @default.
• W4384573216 citedByCount "0" @default.
• W4384573216 crossrefType "book-chapter" @default.
• W4384573216 hasAuthorship W4384573216A5003961991 @default.
• W4384573216 hasAuthorship W4384573216A5004609161 @default.
• W4384573216 hasAuthorship W4384573216A5013382452 @default.
• W4384573216 hasAuthorship W4384573216A5018601753 @default.
• W4384573216 hasAuthorship W4384573216A5037127043 @default.
• W4384573216 hasAuthorship W4384573216A5090195630 @default.
• W4384573216 hasBestOaLocation W43845732161 @default.
• W4384573216 hasConcept C105795698 @default.
• W4384573216 hasConcept C106189395 @default.
• W4384573216 hasConcept C111472728 @default.
• W4384573216 hasConcept C11413529 @default.
• W4384573216 hasConcept C118615104 @default.
• W4384573216 hasConcept C119857082 @default.
• W4384573216 hasConcept C136643341 @default.
• W4384573216 hasConcept C138885662 @default.
• W4384573216 hasConcept C159886148 @default.
• W4384573216 hasConcept C162838799 @default.
• W4384573216 hasConcept C165696696 @default.
• W4384573216 hasConcept C189950617 @default.
• W4384573216 hasConcept C2777669093 @default.
• W4384573216 hasConcept C2779167558 @default.
• W4384573216 hasConcept C33923547 @default.
• W4384573216 hasConcept C38652104 @default.
• W4384573216 hasConcept C41008148 @default.
• W4384573216 hasConcept C80444323 @default.
• W4384573216 hasConcept C98763669 @default.
• W4384573216 hasConceptScore W4384573216C105795698 @default.
• W4384573216 hasConceptScore W4384573216C106189395 @default.
• W4384573216 hasConceptScore W4384573216C111472728 @default.
• W4384573216 hasConceptScore W4384573216C11413529 @default.
• W4384573216 hasConceptScore W4384573216C118615104 @default.
• W4384573216 hasConceptScore W4384573216C119857082 @default.
• W4384573216 hasConceptScore W4384573216C136643341 @default.
• W4384573216 hasConceptScore W4384573216C138885662 @default.
• W4384573216 hasConceptScore W4384573216C159886148 @default.
• W4384573216 hasConceptScore W4384573216C162838799 @default.
• W4384573216 hasConceptScore W4384573216C165696696 @default.
• W4384573216 hasConceptScore W4384573216C189950617 @default.
• W4384573216 hasConceptScore W4384573216C2777669093 @default.
• W4384573216 hasConceptScore W4384573216C2779167558 @default.
• W4384573216 hasConceptScore W4384573216C33923547 @default.
• W4384573216 hasConceptScore W4384573216C38652104 @default.
• W4384573216 hasConceptScore W4384573216C41008148 @default.
• W4384573216 hasConceptScore W4384573216C80444323 @default.
• W4384573216 hasConceptScore W4384573216C98763669 @default.
• W4384573216 hasLocation W43845732161 @default.
• W4384573216 hasLocation W43845732162 @default.
• W4384573216 hasOpenAccess W4384573216 @default.
• W4384573216 hasPrimaryLocation W43845732161 @default.
• W4384573216 hasRelatedWork W2047831585 @default.
• W4384573216 hasRelatedWork W2057339161 @default.
• W4384573216 hasRelatedWork W2114554615 @default.
• W4384573216 hasRelatedWork W2121954744 @default.
• W4384573216 hasRelatedWork W2153337086 @default.
• W4384573216 hasRelatedWork W2168796683 @default.
• W4384573216 hasRelatedWork W3081513980 @default.
• W4384573216 hasRelatedWork W4253760428 @default.
• W4384573216 hasRelatedWork W4384573216 @default.

• next