Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502402009> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1502402009 abstract "In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If in contrast, the set of propositional operators is restricted, the complexity may decrease. This article systematically studies the model-checking problem for LTL formulae over restricted sets of propositional and temporal operators. For almost all combinations of temporal and propositional operators, we determine whether the model-checking problem is tractable (in PTIME) or intractable (NP-hard). We then focus on the tractable cases, showing that they all are NL-complete or even logspace solvable. This leads to a surprising gap in complexity between tractable and intractable cases. It is worth noting that our analysis covers an infinite set of problems, since there are infinitely many sets of propositional operators." @default.
- W1502402009 created "2016-06-24" @default.
- W1502402009 creator A5008982209 @default.
- W1502402009 creator A5025530063 @default.
- W1502402009 creator A5047184663 @default.
- W1502402009 creator A5071452884 @default.
- W1502402009 creator A5082114974 @default.
- W1502402009 creator A5091510344 @default.
- W1502402009 date "2008-01-01" @default.
- W1502402009 modified "2023-09-28" @default.
- W1502402009 title "The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments." @default.
- W1502402009 cites W1481524021 @default.
- W1502402009 cites W1488709943 @default.
- W1502402009 cites W1528600100 @default.
- W1502402009 cites W1589711670 @default.
- W1502402009 cites W1992762998 @default.
- W1502402009 cites W1995502606 @default.
- W1502402009 cites W2003227046 @default.
- W1502402009 cites W2023364974 @default.
- W1502402009 cites W2023808162 @default.
- W1502402009 cites W2059657394 @default.
- W1502402009 cites W2082480388 @default.
- W1502402009 cites W2082723133 @default.
- W1502402009 cites W2154374418 @default.
- W1502402009 cites W2398485441 @default.
- W1502402009 hasPublicationYear "2008" @default.
- W1502402009 type Work @default.
- W1502402009 sameAs 1502402009 @default.
- W1502402009 citedByCount "0" @default.
- W1502402009 crossrefType "journal-article" @default.
- W1502402009 hasAuthorship W1502402009A5008982209 @default.
- W1502402009 hasAuthorship W1502402009A5025530063 @default.
- W1502402009 hasAuthorship W1502402009A5047184663 @default.
- W1502402009 hasAuthorship W1502402009A5071452884 @default.
- W1502402009 hasAuthorship W1502402009A5082114974 @default.
- W1502402009 hasAuthorship W1502402009A5091510344 @default.
- W1502402009 hasConcept C110251889 @default.
- W1502402009 hasConcept C11413529 @default.
- W1502402009 hasConcept C118615104 @default.
- W1502402009 hasConcept C134026603 @default.
- W1502402009 hasConcept C177264268 @default.
- W1502402009 hasConcept C179799912 @default.
- W1502402009 hasConcept C197685441 @default.
- W1502402009 hasConcept C199360897 @default.
- W1502402009 hasConcept C25016198 @default.
- W1502402009 hasConcept C311688 @default.
- W1502402009 hasConcept C33923547 @default.
- W1502402009 hasConcept C41008148 @default.
- W1502402009 hasConcept C4777664 @default.
- W1502402009 hasConcept C80444323 @default.
- W1502402009 hasConceptScore W1502402009C110251889 @default.
- W1502402009 hasConceptScore W1502402009C11413529 @default.
- W1502402009 hasConceptScore W1502402009C118615104 @default.
- W1502402009 hasConceptScore W1502402009C134026603 @default.
- W1502402009 hasConceptScore W1502402009C177264268 @default.
- W1502402009 hasConceptScore W1502402009C179799912 @default.
- W1502402009 hasConceptScore W1502402009C197685441 @default.
- W1502402009 hasConceptScore W1502402009C199360897 @default.
- W1502402009 hasConceptScore W1502402009C25016198 @default.
- W1502402009 hasConceptScore W1502402009C311688 @default.
- W1502402009 hasConceptScore W1502402009C33923547 @default.
- W1502402009 hasConceptScore W1502402009C41008148 @default.
- W1502402009 hasConceptScore W1502402009C4777664 @default.
- W1502402009 hasConceptScore W1502402009C80444323 @default.
- W1502402009 hasLocation W15024020091 @default.
- W1502402009 hasOpenAccess W1502402009 @default.
- W1502402009 hasPrimaryLocation W15024020091 @default.
- W1502402009 hasRelatedWork W11196356 @default.
- W1502402009 hasRelatedWork W1523929643 @default.
- W1502402009 hasRelatedWork W1600636537 @default.
- W1502402009 hasRelatedWork W1627056135 @default.
- W1502402009 hasRelatedWork W1668550623 @default.
- W1502402009 hasRelatedWork W1823573674 @default.
- W1502402009 hasRelatedWork W2007671683 @default.
- W1502402009 hasRelatedWork W2042347326 @default.
- W1502402009 hasRelatedWork W2045305767 @default.
- W1502402009 hasRelatedWork W2130399244 @default.
- W1502402009 hasRelatedWork W2156117182 @default.
- W1502402009 hasRelatedWork W2162803372 @default.
- W1502402009 hasRelatedWork W2165930340 @default.
- W1502402009 hasRelatedWork W2941204685 @default.
- W1502402009 hasRelatedWork W2949144015 @default.
- W1502402009 hasRelatedWork W2949849650 @default.
- W1502402009 hasRelatedWork W2951704992 @default.
- W1502402009 hasRelatedWork W2953129498 @default.
- W1502402009 hasRelatedWork W3165398732 @default.
- W1502402009 hasRelatedWork W3170312185 @default.
- W1502402009 hasVolume "15" @default.
- W1502402009 isParatext "false" @default.
- W1502402009 isRetracted "false" @default.
- W1502402009 magId "1502402009" @default.
- W1502402009 workType "article" @default.