Matches in SemOpenAlex for { <https://semopenalex.org/work/W3191306089> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W3191306089 abstract "Linear Temporal Logic (LTL) synthesis aims at automatically synthesizing a program that complies with desired properties expressed in LTL. Unfortunately it has been proved to be too difficult computationally to perform full LTL synthesis. There have been two success stories with LTL synthesis, both having to do with the form of the specification. The first is the GR(1) approach: use safety conditions to determine the possible transitions in a game between the environment and the agent, plus one powerful notion of fairness, Generalized Reactivity(1), or GR(1). The second, inspired by AI planning, is focusing on finite-trace temporal synthesis, with LTLf (LTL on finite traces) as the specification language. In this paper we take these two lines of work and bring them together. We first study the case in which we have an LTLf agent goal and a GR(1) assumption. We then add to the framework safety conditions for both the environment and the agent, obtaining a highly expressive yet still scalable form of LTL synthesis." @default.
- W3191306089 created "2021-08-16" @default.
- W3191306089 creator A5000059818 @default.
- W3191306089 creator A5013290512 @default.
- W3191306089 creator A5052319468 @default.
- W3191306089 creator A5055798827 @default.
- W3191306089 creator A5062596233 @default.
- W3191306089 date "2021-08-01" @default.
- W3191306089 modified "2023-09-29" @default.
- W3191306089 title "Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis" @default.
- W3191306089 doi "https://doi.org/10.24963/ijcai.2021/255" @default.
- W3191306089 hasPublicationYear "2021" @default.
- W3191306089 type Work @default.
- W3191306089 sameAs 3191306089 @default.
- W3191306089 citedByCount "3" @default.
- W3191306089 countsByYear W31913060892021 @default.
- W3191306089 countsByYear W31913060892023 @default.
- W3191306089 crossrefType "proceedings-article" @default.
- W3191306089 hasAuthorship W3191306089A5000059818 @default.
- W3191306089 hasAuthorship W3191306089A5013290512 @default.
- W3191306089 hasAuthorship W3191306089A5052319468 @default.
- W3191306089 hasAuthorship W3191306089A5055798827 @default.
- W3191306089 hasAuthorship W3191306089A5062596233 @default.
- W3191306089 hasBestOaLocation W31913060891 @default.
- W3191306089 hasConcept C138885662 @default.
- W3191306089 hasConcept C199360897 @default.
- W3191306089 hasConcept C25016198 @default.
- W3191306089 hasConcept C41008148 @default.
- W3191306089 hasConcept C41895202 @default.
- W3191306089 hasConcept C4777664 @default.
- W3191306089 hasConcept C48044578 @default.
- W3191306089 hasConcept C75291252 @default.
- W3191306089 hasConcept C77088390 @default.
- W3191306089 hasConcept C80444323 @default.
- W3191306089 hasConceptScore W3191306089C138885662 @default.
- W3191306089 hasConceptScore W3191306089C199360897 @default.
- W3191306089 hasConceptScore W3191306089C25016198 @default.
- W3191306089 hasConceptScore W3191306089C41008148 @default.
- W3191306089 hasConceptScore W3191306089C41895202 @default.
- W3191306089 hasConceptScore W3191306089C4777664 @default.
- W3191306089 hasConceptScore W3191306089C48044578 @default.
- W3191306089 hasConceptScore W3191306089C75291252 @default.
- W3191306089 hasConceptScore W3191306089C77088390 @default.
- W3191306089 hasConceptScore W3191306089C80444323 @default.
- W3191306089 hasLocation W31913060891 @default.
- W3191306089 hasLocation W31913060892 @default.
- W3191306089 hasOpenAccess W3191306089 @default.
- W3191306089 hasPrimaryLocation W31913060891 @default.
- W3191306089 hasRelatedWork W1484321707 @default.
- W3191306089 hasRelatedWork W1565492074 @default.
- W3191306089 hasRelatedWork W1581671536 @default.
- W3191306089 hasRelatedWork W2081369054 @default.
- W3191306089 hasRelatedWork W2282176459 @default.
- W3191306089 hasRelatedWork W2346373674 @default.
- W3191306089 hasRelatedWork W2894097570 @default.
- W3191306089 hasRelatedWork W2950238009 @default.
- W3191306089 hasRelatedWork W3191306089 @default.
- W3191306089 hasRelatedWork W2981989604 @default.
- W3191306089 isParatext "false" @default.
- W3191306089 isRetracted "false" @default.
- W3191306089 magId "3191306089" @default.
- W3191306089 workType "article" @default.