Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033291284> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2033291284 endingPage "102" @default.
- W2033291284 startingPage "89" @default.
- W2033291284 abstract "The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure." @default.
- W2033291284 created "2016-06-24" @default.
- W2033291284 creator A5018475180 @default.
- W2033291284 creator A5081184867 @default.
- W2033291284 date "2010-06-09" @default.
- W2033291284 modified "2023-10-14" @default.
- W2033291284 title "Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis" @default.
- W2033291284 cites W117768600 @default.
- W2033291284 cites W1484998667 @default.
- W2033291284 cites W1528291435 @default.
- W2033291284 cites W1568412951 @default.
- W2033291284 cites W1577761978 @default.
- W2033291284 cites W1640973035 @default.
- W2033291284 cites W1755580915 @default.
- W2033291284 cites W1852279314 @default.
- W2033291284 cites W1964680921 @default.
- W2033291284 cites W2003940577 @default.
- W2033291284 cites W2050073538 @default.
- W2033291284 cites W2054801208 @default.
- W2033291284 cites W2087107980 @default.
- W2033291284 cites W2111715088 @default.
- W2033291284 cites W2113511408 @default.
- W2033291284 doi "https://doi.org/10.4204/eptcs.25.11" @default.
- W2033291284 hasPublicationYear "2010" @default.
- W2033291284 type Work @default.
- W2033291284 sameAs 2033291284 @default.
- W2033291284 citedByCount "10" @default.
- W2033291284 countsByYear W20332912842012 @default.
- W2033291284 countsByYear W20332912842013 @default.
- W2033291284 countsByYear W20332912842014 @default.
- W2033291284 countsByYear W20332912842015 @default.
- W2033291284 countsByYear W20332912842018 @default.
- W2033291284 countsByYear W20332912842019 @default.
- W2033291284 crossrefType "journal-article" @default.
- W2033291284 hasAuthorship W2033291284A5018475180 @default.
- W2033291284 hasAuthorship W2033291284A5081184867 @default.
- W2033291284 hasBestOaLocation W20332912841 @default.
- W2033291284 hasConcept C111472728 @default.
- W2033291284 hasConcept C112505250 @default.
- W2033291284 hasConcept C11413529 @default.
- W2033291284 hasConcept C138885662 @default.
- W2033291284 hasConcept C15569618 @default.
- W2033291284 hasConcept C162324750 @default.
- W2033291284 hasConcept C189950617 @default.
- W2033291284 hasConcept C199360897 @default.
- W2033291284 hasConcept C25016198 @default.
- W2033291284 hasConcept C31170391 @default.
- W2033291284 hasConcept C34447519 @default.
- W2033291284 hasConcept C41008148 @default.
- W2033291284 hasConcept C4777664 @default.
- W2033291284 hasConcept C77906462 @default.
- W2033291284 hasConcept C80444323 @default.
- W2033291284 hasConceptScore W2033291284C111472728 @default.
- W2033291284 hasConceptScore W2033291284C112505250 @default.
- W2033291284 hasConceptScore W2033291284C11413529 @default.
- W2033291284 hasConceptScore W2033291284C138885662 @default.
- W2033291284 hasConceptScore W2033291284C15569618 @default.
- W2033291284 hasConceptScore W2033291284C162324750 @default.
- W2033291284 hasConceptScore W2033291284C189950617 @default.
- W2033291284 hasConceptScore W2033291284C199360897 @default.
- W2033291284 hasConceptScore W2033291284C25016198 @default.
- W2033291284 hasConceptScore W2033291284C31170391 @default.
- W2033291284 hasConceptScore W2033291284C34447519 @default.
- W2033291284 hasConceptScore W2033291284C41008148 @default.
- W2033291284 hasConceptScore W2033291284C4777664 @default.
- W2033291284 hasConceptScore W2033291284C77906462 @default.
- W2033291284 hasConceptScore W2033291284C80444323 @default.
- W2033291284 hasLocation W20332912841 @default.
- W2033291284 hasLocation W20332912842 @default.
- W2033291284 hasOpenAccess W2033291284 @default.
- W2033291284 hasPrimaryLocation W20332912841 @default.
- W2033291284 hasRelatedWork W140214610 @default.
- W2033291284 hasRelatedWork W1481201928 @default.
- W2033291284 hasRelatedWork W1527462432 @default.
- W2033291284 hasRelatedWork W2007588592 @default.
- W2033291284 hasRelatedWork W2033291284 @default.
- W2033291284 hasRelatedWork W2091946694 @default.
- W2033291284 hasRelatedWork W2110468917 @default.
- W2033291284 hasRelatedWork W2122686575 @default.
- W2033291284 hasRelatedWork W2130786035 @default.
- W2033291284 hasRelatedWork W2798742893 @default.
- W2033291284 hasVolume "25" @default.
- W2033291284 isParatext "false" @default.
- W2033291284 isRetracted "false" @default.
- W2033291284 magId "2033291284" @default.
- W2033291284 workType "article" @default.