Matches in SemOpenAlex for { <https://semopenalex.org/work/W1777291824> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1777291824 endingPage "948" @default.
- W1777291824 startingPage "937" @default.
- W1777291824 abstract "Recursive state machines (rsms) are models for programs with recursive procedural calls. While Ltl model-checking is Exptime-complete on such models, on finite-state machines, it is Pspace-complete in general and becomes Np-complete for interesting fragments. In this paper, we systematically study the computational complexity of model-checking rsm s against several syntactic fragments of Ltl. Our main result shows that if in the specification we disallow next and until, and retain only the box and diamond operators, model-checking is in Np. Thus, differently from the full logic, for this fragment the abstract complexity of model-checking does not change moving from finite-state machines to rsms. Our results on the other studied fragments confirm this trend, in the sense that, moving from finite-state machines to rsm s, the complexity of model-checking either rises from Pspace-complete to Exptime-complete, or stays within Np." @default.
- W1777291824 created "2016-06-24" @default.
- W1777291824 creator A5048623277 @default.
- W1777291824 creator A5078894561 @default.
- W1777291824 date "2007-01-01" @default.
- W1777291824 modified "2023-09-25" @default.
- W1777291824 title "On the Complexity of Ltl Model-Checking of Recursive State Machines" @default.
- W1777291824 cites W1491036809 @default.
- W1777291824 cites W1556566737 @default.
- W1777291824 cites W1589224558 @default.
- W1777291824 cites W1612453857 @default.
- W1777291824 cites W2003227046 @default.
- W1777291824 cites W2026379532 @default.
- W1777291824 cites W2115309705 @default.
- W1777291824 cites W2151670874 @default.
- W1777291824 cites W3022006420 @default.
- W1777291824 cites W4241138001 @default.
- W1777291824 cites W4244847755 @default.
- W1777291824 doi "https://doi.org/10.1007/978-3-540-73420-8_80" @default.
- W1777291824 hasPublicationYear "2007" @default.
- W1777291824 type Work @default.
- W1777291824 sameAs 1777291824 @default.
- W1777291824 citedByCount "4" @default.
- W1777291824 countsByYear W17772918242013 @default.
- W1777291824 countsByYear W17772918242014 @default.
- W1777291824 countsByYear W17772918242015 @default.
- W1777291824 crossrefType "book-chapter" @default.
- W1777291824 hasAuthorship W1777291824A5048623277 @default.
- W1777291824 hasAuthorship W1777291824A5078894561 @default.
- W1777291824 hasBestOaLocation W17772918242 @default.
- W1777291824 hasConcept C110251889 @default.
- W1777291824 hasConcept C11413529 @default.
- W1777291824 hasConcept C167822520 @default.
- W1777291824 hasConcept C179799912 @default.
- W1777291824 hasConcept C197685441 @default.
- W1777291824 hasConcept C199360897 @default.
- W1777291824 hasConcept C25016198 @default.
- W1777291824 hasConcept C2776235265 @default.
- W1777291824 hasConcept C30888246 @default.
- W1777291824 hasConcept C41008148 @default.
- W1777291824 hasConcept C48103436 @default.
- W1777291824 hasConcept C56049555 @default.
- W1777291824 hasConcept C80444323 @default.
- W1777291824 hasConceptScore W1777291824C110251889 @default.
- W1777291824 hasConceptScore W1777291824C11413529 @default.
- W1777291824 hasConceptScore W1777291824C167822520 @default.
- W1777291824 hasConceptScore W1777291824C179799912 @default.
- W1777291824 hasConceptScore W1777291824C197685441 @default.
- W1777291824 hasConceptScore W1777291824C199360897 @default.
- W1777291824 hasConceptScore W1777291824C25016198 @default.
- W1777291824 hasConceptScore W1777291824C2776235265 @default.
- W1777291824 hasConceptScore W1777291824C30888246 @default.
- W1777291824 hasConceptScore W1777291824C41008148 @default.
- W1777291824 hasConceptScore W1777291824C48103436 @default.
- W1777291824 hasConceptScore W1777291824C56049555 @default.
- W1777291824 hasConceptScore W1777291824C80444323 @default.
- W1777291824 hasLocation W17772918241 @default.
- W1777291824 hasLocation W17772918242 @default.
- W1777291824 hasOpenAccess W1777291824 @default.
- W1777291824 hasPrimaryLocation W17772918241 @default.
- W1777291824 hasRelatedWork W1489482702 @default.
- W1777291824 hasRelatedWork W1728798265 @default.
- W1777291824 hasRelatedWork W1777291824 @default.
- W1777291824 hasRelatedWork W1984957636 @default.
- W1777291824 hasRelatedWork W2043435342 @default.
- W1777291824 hasRelatedWork W2045840663 @default.
- W1777291824 hasRelatedWork W2057980886 @default.
- W1777291824 hasRelatedWork W2065896142 @default.
- W1777291824 hasRelatedWork W2116366046 @default.
- W1777291824 hasRelatedWork W2149299285 @default.
- W1777291824 isParatext "false" @default.
- W1777291824 isRetracted "false" @default.
- W1777291824 magId "1777291824" @default.
- W1777291824 workType "book-chapter" @default.