FRINK Linked Data Fragments server

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

• W2128841330 abstract "We design a variation of the Karp-Miller algorithm to compute, in a forward manner, a finite representation of the cover (i.e., the downward closure of the reachability set) of a vector addition system with one zero-test. This algorithm yields decision procedures for several problems for these systems, open until now, such as place-boundedness or LTL model-checking. The proof techniques to handle the zero-test are based on two new notions of cover: the refined and the filtered cover. The refined cover is a hybrid between the reachability set and the classical cover. It inherits properties of the reachability set: equality of two refined covers is undecidable, even for usual Vector Addition Systems (with no zero-test), but the refined cover of a Vector Addition System is a recursive set. The second notion of cover, called the filtered cover, is the central tool of our algorithms. It inherits properties of the classical cover, and in particular, one can effectively compute a finite representation of this set, even for Vector Addition Systems with one zero-test." @default.
• W2128841330 created "2016-06-24" @default.
• W2128841330 creator A5013125228 @default.
• W2128841330 creator A5014652670 @default.
• W2128841330 creator A5051788925 @default.
• W2128841330 creator A5078676783 @default.
• W2128841330 date "2012-06-19" @default.
• W2128841330 modified "2023-10-17" @default.
• W2128841330 title "Model Checking Vector Addition Systems with one zero-test" @default.
• W2128841330 cites W1496021453 @default.
• W2128841330 cites W1506645925 @default.
• W2128841330 cites W1512310098 @default.
• W2128841330 cites W1570743953 @default.
• W2128841330 cites W1595979400 @default.
• W2128841330 cites W1658032593 @default.
• W2128841330 cites W1799125424 @default.
• W2128841330 cites W1964087553 @default.
• W2128841330 cites W1967174286 @default.
• W2128841330 cites W1970398023 @default.
• W2128841330 cites W1987557885 @default.
• W2128841330 cites W1989788631 @default.
• W2128841330 cites W1990609140 @default.
• W2128841330 cites W2011495892 @default.
• W2128841330 cites W2055081868 @default.
• W2128841330 cites W2075538203 @default.
• W2128841330 cites W2090401819 @default.
• W2128841330 cites W2117101148 @default.
• W2128841330 cites W2122700562 @default.
• W2128841330 cites W2135818959 @default.
• W2128841330 cites W2160527279 @default.
• W2128841330 cites W2295768847 @default.
• W2128841330 cites W32620562 @default.
• W2128841330 cites W4213311856 @default.
• W2128841330 cites W4249920159 @default.
• W2128841330 cites W62188582 @default.
• W2128841330 doi "https://doi.org/10.2168/lmcs-8(2:11)2012" @default.
• W2128841330 hasPublicationYear "2012" @default.
• W2128841330 type Work @default.
• W2128841330 sameAs 2128841330 @default.
• W2128841330 citedByCount "3" @default.
• W2128841330 countsByYear W21288413302014 @default.
• W2128841330 countsByYear W21288413302015 @default.
• W2128841330 crossrefType "journal-article" @default.
• W2128841330 hasAuthorship W2128841330A5013125228 @default.
• W2128841330 hasAuthorship W2128841330A5014652670 @default.
• W2128841330 hasAuthorship W2128841330A5051788925 @default.
• W2128841330 hasAuthorship W2128841330A5078676783 @default.
• W2128841330 hasBestOaLocation W21288413301 @default.
• W2128841330 hasConcept C100767440 @default.
• W2128841330 hasConcept C100808899 @default.
• W2128841330 hasConcept C11413529 @default.
• W2128841330 hasConcept C118615104 @default.
• W2128841330 hasConcept C127413603 @default.
• W2128841330 hasConcept C136643341 @default.
• W2128841330 hasConcept C138885662 @default.
• W2128841330 hasConcept C146834321 @default.
• W2128841330 hasConcept C153269930 @default.
• W2128841330 hasConcept C154945302 @default.
• W2128841330 hasConcept C162324750 @default.
• W2128841330 hasConcept C169903167 @default.
• W2128841330 hasConcept C177264268 @default.
• W2128841330 hasConcept C17744445 @default.
• W2128841330 hasConcept C192034797 @default.
• W2128841330 hasConcept C199360897 @default.
• W2128841330 hasConcept C199539241 @default.
• W2128841330 hasConcept C2776359362 @default.
• W2128841330 hasConcept C2777669093 @default.
• W2128841330 hasConcept C2780428219 @default.
• W2128841330 hasConcept C2780813799 @default.
• W2128841330 hasConcept C33923547 @default.
• W2128841330 hasConcept C34447519 @default.
• W2128841330 hasConcept C41008148 @default.
• W2128841330 hasConcept C41895202 @default.
• W2128841330 hasConcept C78519656 @default.
• W2128841330 hasConcept C80444323 @default.
• W2128841330 hasConcept C94625758 @default.
• W2128841330 hasConceptScore W2128841330C100767440 @default.
• W2128841330 hasConceptScore W2128841330C100808899 @default.
• W2128841330 hasConceptScore W2128841330C11413529 @default.
• W2128841330 hasConceptScore W2128841330C118615104 @default.
• W2128841330 hasConceptScore W2128841330C127413603 @default.
• W2128841330 hasConceptScore W2128841330C136643341 @default.
• W2128841330 hasConceptScore W2128841330C138885662 @default.
• W2128841330 hasConceptScore W2128841330C146834321 @default.
• W2128841330 hasConceptScore W2128841330C153269930 @default.
• W2128841330 hasConceptScore W2128841330C154945302 @default.
• W2128841330 hasConceptScore W2128841330C162324750 @default.
• W2128841330 hasConceptScore W2128841330C169903167 @default.
• W2128841330 hasConceptScore W2128841330C177264268 @default.
• W2128841330 hasConceptScore W2128841330C17744445 @default.
• W2128841330 hasConceptScore W2128841330C192034797 @default.
• W2128841330 hasConceptScore W2128841330C199360897 @default.
• W2128841330 hasConceptScore W2128841330C199539241 @default.
• W2128841330 hasConceptScore W2128841330C2776359362 @default.
• W2128841330 hasConceptScore W2128841330C2777669093 @default.
• W2128841330 hasConceptScore W2128841330C2780428219 @default.
• W2128841330 hasConceptScore W2128841330C2780813799 @default.
• W2128841330 hasConceptScore W2128841330C33923547 @default.
• W2128841330 hasConceptScore W2128841330C34447519 @default.
• W2128841330 hasConceptScore W2128841330C41008148 @default.

• next