Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980329414> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2980329414 abstract "This paper describes a method for converting formulas in finite propositional linear-time temporal logic (Finite LTL) into finite-state automata whose languages are the models of the given formula. Finite LTL differs from traditional LTL in that formulas are interpreted with respect to finite, rather than infinite, sequences of states; this fact means that traditional finite-state automata, rather than {omega}-automata such as those developed by Buchi and others, suffice for recognizing models of such formulas. The approach considered is based on well-known tableau-construction techniques developed for LTL, which we adapt here for the setting of Finite LTL. The resulting automata may be used as a basis for model checking, satisfiability testing, and model synthesis." @default.
- W2980329414 created "2019-10-25" @default.
- W2980329414 creator A5016408902 @default.
- W2980329414 creator A5068493831 @default.
- W2980329414 date "2019-10-16" @default.
- W2980329414 modified "2023-09-25" @default.
- W2980329414 title "A Tableau Construction for Finite Linear-Time Temporal Logic" @default.
- W2980329414 cites W1511105469 @default.
- W2980329414 cites W1568047036 @default.
- W2980329414 cites W166818797 @default.
- W2980329414 cites W1700264732 @default.
- W2980329414 cites W1917363929 @default.
- W2980329414 cites W1975880855 @default.
- W2980329414 cites W1981808971 @default.
- W2980329414 cites W1989914740 @default.
- W2980329414 cites W2004306067 @default.
- W2980329414 cites W2015640848 @default.
- W2980329414 cites W2019881090 @default.
- W2980329414 cites W2023808162 @default.
- W2980329414 cites W2111492220 @default.
- W2980329414 cites W2146706022 @default.
- W2980329414 cites W2151958719 @default.
- W2980329414 cites W2155756511 @default.
- W2980329414 cites W2417863416 @default.
- W2980329414 cites W2443228692 @default.
- W2980329414 cites W2523467757 @default.
- W2980329414 cites W2749629284 @default.
- W2980329414 cites W2956582956 @default.
- W2980329414 cites W3082838271 @default.
- W2980329414 cites W790410956 @default.
- W2980329414 doi "https://doi.org/10.48550/arxiv.1910.09339" @default.
- W2980329414 hasPublicationYear "2019" @default.
- W2980329414 type Work @default.
- W2980329414 sameAs 2980329414 @default.
- W2980329414 citedByCount "0" @default.
- W2980329414 crossrefType "posted-content" @default.
- W2980329414 hasAuthorship W2980329414A5016408902 @default.
- W2980329414 hasAuthorship W2980329414A5068493831 @default.
- W2980329414 hasBestOaLocation W29803294141 @default.
- W2980329414 hasConcept C104091681 @default.
- W2980329414 hasConcept C112505250 @default.
- W2980329414 hasConcept C11413529 @default.
- W2980329414 hasConcept C116248031 @default.
- W2980329414 hasConcept C118615104 @default.
- W2980329414 hasConcept C136119220 @default.
- W2980329414 hasConcept C167822520 @default.
- W2980329414 hasConcept C168773769 @default.
- W2980329414 hasConcept C174327141 @default.
- W2980329414 hasConcept C202444582 @default.
- W2980329414 hasConcept C25016198 @default.
- W2980329414 hasConcept C33923547 @default.
- W2980329414 hasConcept C41008148 @default.
- W2980329414 hasConcept C4777664 @default.
- W2980329414 hasConcept C69562738 @default.
- W2980329414 hasConcept C80444323 @default.
- W2980329414 hasConceptScore W2980329414C104091681 @default.
- W2980329414 hasConceptScore W2980329414C112505250 @default.
- W2980329414 hasConceptScore W2980329414C11413529 @default.
- W2980329414 hasConceptScore W2980329414C116248031 @default.
- W2980329414 hasConceptScore W2980329414C118615104 @default.
- W2980329414 hasConceptScore W2980329414C136119220 @default.
- W2980329414 hasConceptScore W2980329414C167822520 @default.
- W2980329414 hasConceptScore W2980329414C168773769 @default.
- W2980329414 hasConceptScore W2980329414C174327141 @default.
- W2980329414 hasConceptScore W2980329414C202444582 @default.
- W2980329414 hasConceptScore W2980329414C25016198 @default.
- W2980329414 hasConceptScore W2980329414C33923547 @default.
- W2980329414 hasConceptScore W2980329414C41008148 @default.
- W2980329414 hasConceptScore W2980329414C4777664 @default.
- W2980329414 hasConceptScore W2980329414C69562738 @default.
- W2980329414 hasConceptScore W2980329414C80444323 @default.
- W2980329414 hasLocation W29803294141 @default.
- W2980329414 hasOpenAccess W2980329414 @default.
- W2980329414 hasPrimaryLocation W29803294141 @default.
- W2980329414 hasRelatedWork W1490980615 @default.
- W2980329414 hasRelatedWork W1979390054 @default.
- W2980329414 hasRelatedWork W1998470112 @default.
- W2980329414 hasRelatedWork W2050696740 @default.
- W2980329414 hasRelatedWork W2149288970 @default.
- W2980329414 hasRelatedWork W2299084559 @default.
- W2980329414 hasRelatedWork W2350842303 @default.
- W2980329414 hasRelatedWork W2482365960 @default.
- W2980329414 hasRelatedWork W2980329414 @default.
- W2980329414 hasRelatedWork W3200605392 @default.
- W2980329414 isParatext "false" @default.
- W2980329414 isRetracted "false" @default.
- W2980329414 magId "2980329414" @default.
- W2980329414 workType "article" @default.