FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037831300> ?p ?o ?g. }

• W3037831300 abstract "Delay games are two-player games of infinite duration in which one player may delay her moves to obtain a lookahead on her opponent's moves. Recently, such games with quantitative winning conditions in weak MSO with the unbounding quantifier were studied, but their properties turned out to be unsatisfactory. In particular, unbounded lookahead is in general necessary. Here, we study delay games with winning conditions given by Prompt-LTL, Linear Temporal Logic equipped with a parameterized eventually operator whose scope is bounded. Our main result shows that solving Prompt-LTL delay games is complete for triply-exponential time. Furthermore, we give tight triply-exponential bounds on the necessary lookahead and on the scope of the parameterized eventually operator. Thus, we identify Prompt-LTL as the first known class of well-behaved quantitative winning conditions for delay games. Finally, we show that applying our techniques to delay games with omega-regular winning conditions answers open questions in the cases where the winning conditions are given by non-deterministic, universal, or alternating automata." @default.
• W3037831300 created "2020-07-02" @default.
• W3037831300 creator A5064596121 @default.
• W3037831300 creator A5071258753 @default.
• W3037831300 date "2016-02-16" @default.
• W3037831300 modified "2023-09-27" @default.
• W3037831300 title "Prompt Delay" @default.
• W3037831300 cites W108629545 @default.
• W3037831300 cites W1482244486 @default.
• W3037831300 cites W1517238936 @default.
• W3037831300 cites W1528149868 @default.
• W3037831300 cites W1737156267 @default.
• W3037831300 cites W1941150702 @default.
• W3037831300 cites W2016206563 @default.
• W3037831300 cites W2019700891 @default.
• W3037831300 cites W2023329406 @default.
• W3037831300 cites W2023808162 @default.
• W3037831300 cites W2048780543 @default.
• W3037831300 cites W2089003125 @default.
• W3037831300 cites W2108036288 @default.
• W3037831300 cites W2120360673 @default.
• W3037831300 cites W2150447589 @default.
• W3037831300 cites W2178626170 @default.
• W3037831300 cites W2198629034 @default.
• W3037831300 cites W2530653662 @default.
• W3037831300 cites W2596788366 @default.
• W3037831300 cites W2963179057 @default.
• W3037831300 cites W3002839602 @default.
• W3037831300 hasPublicationYear "2016" @default.
• W3037831300 type Work @default.
• W3037831300 sameAs 3037831300 @default.
• W3037831300 citedByCount "0" @default.
• W3037831300 crossrefType "posted-content" @default.
• W3037831300 hasAuthorship W3037831300A5064596121 @default.
• W3037831300 hasAuthorship W3037831300A5071258753 @default.
• W3037831300 hasConcept C104317684 @default.
• W3037831300 hasConcept C112505250 @default.
• W3037831300 hasConcept C11413529 @default.
• W3037831300 hasConcept C118615104 @default.
• W3037831300 hasConcept C134306372 @default.
• W3037831300 hasConcept C154945302 @default.
• W3037831300 hasConcept C158448853 @default.
• W3037831300 hasConcept C165464430 @default.
• W3037831300 hasConcept C17020691 @default.
• W3037831300 hasConcept C185592680 @default.
• W3037831300 hasConcept C199360897 @default.
• W3037831300 hasConcept C2777212361 @default.
• W3037831300 hasConcept C2778012447 @default.
• W3037831300 hasConcept C2778523021 @default.
• W3037831300 hasConcept C33923547 @default.
• W3037831300 hasConcept C34388435 @default.
• W3037831300 hasConcept C41008148 @default.
• W3037831300 hasConcept C55493867 @default.
• W3037831300 hasConcept C72169020 @default.
• W3037831300 hasConcept C80444323 @default.
• W3037831300 hasConcept C86339819 @default.
• W3037831300 hasConceptScore W3037831300C104317684 @default.
• W3037831300 hasConceptScore W3037831300C112505250 @default.
• W3037831300 hasConceptScore W3037831300C11413529 @default.
• W3037831300 hasConceptScore W3037831300C118615104 @default.
• W3037831300 hasConceptScore W3037831300C134306372 @default.
• W3037831300 hasConceptScore W3037831300C154945302 @default.
• W3037831300 hasConceptScore W3037831300C158448853 @default.
• W3037831300 hasConceptScore W3037831300C165464430 @default.
• W3037831300 hasConceptScore W3037831300C17020691 @default.
• W3037831300 hasConceptScore W3037831300C185592680 @default.
• W3037831300 hasConceptScore W3037831300C199360897 @default.
• W3037831300 hasConceptScore W3037831300C2777212361 @default.
• W3037831300 hasConceptScore W3037831300C2778012447 @default.
• W3037831300 hasConceptScore W3037831300C2778523021 @default.
• W3037831300 hasConceptScore W3037831300C33923547 @default.
• W3037831300 hasConceptScore W3037831300C34388435 @default.
• W3037831300 hasConceptScore W3037831300C41008148 @default.
• W3037831300 hasConceptScore W3037831300C55493867 @default.
• W3037831300 hasConceptScore W3037831300C72169020 @default.
• W3037831300 hasConceptScore W3037831300C80444323 @default.
• W3037831300 hasConceptScore W3037831300C86339819 @default.
• W3037831300 hasLocation W30378313001 @default.
• W3037831300 hasOpenAccess W3037831300 @default.
• W3037831300 hasPrimaryLocation W30378313001 @default.
• W3037831300 hasRelatedWork W1190832478 @default.
• W3037831300 hasRelatedWork W1499790443 @default.
• W3037831300 hasRelatedWork W1535974208 @default.
• W3037831300 hasRelatedWork W1869554259 @default.
• W3037831300 hasRelatedWork W1941150702 @default.
• W3037831300 hasRelatedWork W1946220107 @default.
• W3037831300 hasRelatedWork W1987738956 @default.
• W3037831300 hasRelatedWork W2029583849 @default.
• W3037831300 hasRelatedWork W2030570029 @default.
• W3037831300 hasRelatedWork W2041261743 @default.
• W3037831300 hasRelatedWork W2105702545 @default.
• W3037831300 hasRelatedWork W2135432862 @default.
• W3037831300 hasRelatedWork W2399229618 @default.
• W3037831300 hasRelatedWork W2577893161 @default.
• W3037831300 hasRelatedWork W2952510789 @default.
• W3037831300 hasRelatedWork W2952944298 @default.
• W3037831300 hasRelatedWork W2963581588 @default.
• W3037831300 hasRelatedWork W2971044115 @default.
• W3037831300 hasRelatedWork W2972585573 @default.
• W3037831300 hasRelatedWork W86633464 @default.

• next