Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962990717> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2962990717 endingPage "463" @default.
- W2962990717 startingPage "454" @default.
- W2962990717 abstract "In this paper, we investigate the problem of synthesizing strategies for linear temporal logic (LTL) specifications that are interpreted over finite traces - a problem that is central to the automated construction of controllers, robot programs, and business processes. We study a natural variant of the finite LTL synthesis problem in which strategy guarantees are predicated on specified environment behavior. We further explore a quantitative extension of LTL that supports specification of quality measures, utilizing it to synthesize high-quality strategies. We propose new notions of optimality and associated algorithms that yield strategies that best satisfy specified quality measures. Our algorithms utilize an automata-game approach, positioning them well for future implementation via existing state-of-the-art techniques." @default.
- W2962990717 created "2019-07-30" @default.
- W2962990717 creator A5001444744 @default.
- W2962990717 creator A5041982650 @default.
- W2962990717 creator A5050582138 @default.
- W2962990717 date "2018-10-27" @default.
- W2962990717 modified "2023-09-25" @default.
- W2962990717 title "Finite LTL Synthesis with Environment Assumptions and Quality Measures." @default.
- W2962990717 hasPublicationYear "2018" @default.
- W2962990717 type Work @default.
- W2962990717 sameAs 2962990717 @default.
- W2962990717 citedByCount "0" @default.
- W2962990717 crossrefType "proceedings-article" @default.
- W2962990717 hasAuthorship W2962990717A5001444744 @default.
- W2962990717 hasAuthorship W2962990717A5041982650 @default.
- W2962990717 hasAuthorship W2962990717A5050582138 @default.
- W2962990717 hasConcept C110251889 @default.
- W2962990717 hasConcept C111472728 @default.
- W2962990717 hasConcept C112505250 @default.
- W2962990717 hasConcept C11413529 @default.
- W2962990717 hasConcept C138885662 @default.
- W2962990717 hasConcept C167822520 @default.
- W2962990717 hasConcept C199360897 @default.
- W2962990717 hasConcept C25016198 @default.
- W2962990717 hasConcept C2778029271 @default.
- W2962990717 hasConcept C2779530757 @default.
- W2962990717 hasConcept C41008148 @default.
- W2962990717 hasConcept C4777664 @default.
- W2962990717 hasConcept C48103436 @default.
- W2962990717 hasConcept C80444323 @default.
- W2962990717 hasConceptScore W2962990717C110251889 @default.
- W2962990717 hasConceptScore W2962990717C111472728 @default.
- W2962990717 hasConceptScore W2962990717C112505250 @default.
- W2962990717 hasConceptScore W2962990717C11413529 @default.
- W2962990717 hasConceptScore W2962990717C138885662 @default.
- W2962990717 hasConceptScore W2962990717C167822520 @default.
- W2962990717 hasConceptScore W2962990717C199360897 @default.
- W2962990717 hasConceptScore W2962990717C25016198 @default.
- W2962990717 hasConceptScore W2962990717C2778029271 @default.
- W2962990717 hasConceptScore W2962990717C2779530757 @default.
- W2962990717 hasConceptScore W2962990717C41008148 @default.
- W2962990717 hasConceptScore W2962990717C4777664 @default.
- W2962990717 hasConceptScore W2962990717C48103436 @default.
- W2962990717 hasConceptScore W2962990717C80444323 @default.
- W2962990717 hasLocation W29629907171 @default.
- W2962990717 hasOpenAccess W2962990717 @default.
- W2962990717 hasPrimaryLocation W29629907171 @default.
- W2962990717 hasRelatedWork W105566936 @default.
- W2962990717 hasRelatedWork W1209505024 @default.
- W2962990717 hasRelatedWork W1791979290 @default.
- W2962990717 hasRelatedWork W2026692379 @default.
- W2962990717 hasRelatedWork W203893800 @default.
- W2962990717 hasRelatedWork W2087480266 @default.
- W2962990717 hasRelatedWork W2124207853 @default.
- W2962990717 hasRelatedWork W2172286397 @default.
- W2962990717 hasRelatedWork W2255489448 @default.
- W2962990717 hasRelatedWork W2395382078 @default.
- W2962990717 hasRelatedWork W2521410527 @default.
- W2962990717 hasRelatedWork W2789239344 @default.
- W2962990717 hasRelatedWork W2795735404 @default.
- W2962990717 hasRelatedWork W2887039832 @default.
- W2962990717 hasRelatedWork W2888864260 @default.
- W2962990717 hasRelatedWork W2962927158 @default.
- W2962990717 hasRelatedWork W2984988196 @default.
- W2962990717 hasRelatedWork W2998256767 @default.
- W2962990717 hasRelatedWork W3004224011 @default.
- W2962990717 hasRelatedWork W3126104235 @default.
- W2962990717 isParatext "false" @default.
- W2962990717 isRetracted "false" @default.
- W2962990717 magId "2962990717" @default.
- W2962990717 workType "article" @default.