Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024215898> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2024215898 abstract "We study efficient translations of Regular Linear Temporal Logic (RLTL) into automata on infinite words. RLTL is a temporal logic that fuses Linear Temporal Logic (LTL) with regular expressions, extending its expressive power to all $omega$-regular languages. The first contribution of this paper is a novel bottom up translation from RLTL into alternating parity automata of linear size that requires only colors $0$, $1$ and $2$. Moreover, the resulting automata enjoy the stratified internal structure of hesitant automata. Our translation is defined inductively for every operator, and does not require an upfront transformation of the expression into a normal form. Our construction builds at every step two automata: one equivalent to the formula and another to its complement. Inspired by this construction, our second contribution is to extend RLTL with new operators, including universal sequential composition, that enrich the logic with duality laws and negation normal forms. The third contribution is a ranking translation of the resulting alternating automata into non-deterministic Buchi automata. To provide this efficient translation we introduce the notion of stratified rankings, and show how the translation is optimal for the LTL fragment of the logic." @default.
- W2024215898 created "2016-06-24" @default.
- W2024215898 creator A5061330980 @default.
- W2024215898 creator A5086550272 @default.
- W2024215898 date "2012-09-01" @default.
- W2024215898 modified "2023-10-04" @default.
- W2024215898 title "Efficient Regular Linear Temporal Logic Using Dualization and Stratification" @default.
- W2024215898 cites W120333500 @default.
- W2024215898 cites W1498781683 @default.
- W2024215898 cites W1502364670 @default.
- W2024215898 cites W1513400763 @default.
- W2024215898 cites W1549166962 @default.
- W2024215898 cites W1564539225 @default.
- W2024215898 cites W1566206239 @default.
- W2024215898 cites W1592306554 @default.
- W2024215898 cites W1787074469 @default.
- W2024215898 cites W1996207810 @default.
- W2024215898 cites W2023808162 @default.
- W2024215898 cites W2059045337 @default.
- W2024215898 cites W2087593009 @default.
- W2024215898 cites W2089003125 @default.
- W2024215898 cites W2136891613 @default.
- W2024215898 cites W2156915267 @default.
- W2024215898 cites W2806619258 @default.
- W2024215898 doi "https://doi.org/10.1109/time.2012.25" @default.
- W2024215898 hasPublicationYear "2012" @default.
- W2024215898 type Work @default.
- W2024215898 sameAs 2024215898 @default.
- W2024215898 citedByCount "5" @default.
- W2024215898 countsByYear W20242158982014 @default.
- W2024215898 countsByYear W20242158982016 @default.
- W2024215898 countsByYear W20242158982017 @default.
- W2024215898 crossrefType "proceedings-article" @default.
- W2024215898 hasAuthorship W2024215898A5061330980 @default.
- W2024215898 hasAuthorship W2024215898A5086550272 @default.
- W2024215898 hasBestOaLocation W20242158982 @default.
- W2024215898 hasConcept C112505250 @default.
- W2024215898 hasConcept C11413529 @default.
- W2024215898 hasConcept C118615104 @default.
- W2024215898 hasConcept C165753454 @default.
- W2024215898 hasConcept C194525867 @default.
- W2024215898 hasConcept C25016198 @default.
- W2024215898 hasConcept C28077239 @default.
- W2024215898 hasConcept C33923547 @default.
- W2024215898 hasConcept C41008148 @default.
- W2024215898 hasConcept C4777664 @default.
- W2024215898 hasConcept C80444323 @default.
- W2024215898 hasConceptScore W2024215898C112505250 @default.
- W2024215898 hasConceptScore W2024215898C11413529 @default.
- W2024215898 hasConceptScore W2024215898C118615104 @default.
- W2024215898 hasConceptScore W2024215898C165753454 @default.
- W2024215898 hasConceptScore W2024215898C194525867 @default.
- W2024215898 hasConceptScore W2024215898C25016198 @default.
- W2024215898 hasConceptScore W2024215898C28077239 @default.
- W2024215898 hasConceptScore W2024215898C33923547 @default.
- W2024215898 hasConceptScore W2024215898C41008148 @default.
- W2024215898 hasConceptScore W2024215898C4777664 @default.
- W2024215898 hasConceptScore W2024215898C80444323 @default.
- W2024215898 hasLocation W20242158981 @default.
- W2024215898 hasLocation W20242158982 @default.
- W2024215898 hasOpenAccess W2024215898 @default.
- W2024215898 hasPrimaryLocation W20242158981 @default.
- W2024215898 hasRelatedWork W1546295742 @default.
- W2024215898 hasRelatedWork W1973143055 @default.
- W2024215898 hasRelatedWork W2110468917 @default.
- W2024215898 hasRelatedWork W2165282416 @default.
- W2024215898 hasRelatedWork W2359102888 @default.
- W2024215898 hasRelatedWork W2883923349 @default.
- W2024215898 hasRelatedWork W2900065471 @default.
- W2024215898 hasRelatedWork W2971683386 @default.
- W2024215898 hasRelatedWork W3148855524 @default.
- W2024215898 hasRelatedWork W4286892938 @default.
- W2024215898 isParatext "false" @default.
- W2024215898 isRetracted "false" @default.
- W2024215898 magId "2024215898" @default.
- W2024215898 workType "article" @default.