Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594742631> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1594742631 endingPage "484" @default.
- W1594742631 startingPage "472" @default.
- W1594742631 abstract "The theory of games is a prominent tool in the controller synthesis problem. The class of ω-regular games, in particular, offers a clear and robust model of specifications, and present an alternative vision of several logic-related problems. Each ω-regular condition can be expressed by a combination of safety and liveness conditions. An issue with the classical definition of liveness specifications is that there is no control over the time spent between two successive occurrences of the desired events. Finitary logics were defined to handle this problem, and recently, Chatterjee and Henzinger introduced games based on a finitary notion of liveness. They defined and studied finitary parity and Streett winning conditions. We present here faster algorithms for these games, as well as an improved upper bound on the memory needed by Eve in the Streett case." @default.
- W1594742631 created "2016-06-24" @default.
- W1594742631 creator A5020837653 @default.
- W1594742631 date "2007-07-04" @default.
- W1594742631 modified "2023-10-15" @default.
- W1594742631 title "Faster Algorithms for Finitary Games" @default.
- W1594742631 cites W1505081061 @default.
- W1594742631 cites W1514240489 @default.
- W1594742631 cites W1515037619 @default.
- W1594742631 cites W1576751546 @default.
- W1594742631 cites W1588748596 @default.
- W1594742631 cites W1619503839 @default.
- W1594742631 cites W1987973300 @default.
- W1594742631 cites W2048905609 @default.
- W1594742631 cites W2060375000 @default.
- W1594742631 cites W2493860389 @default.
- W1594742631 doi "https://doi.org/10.1007/978-3-540-71209-1_36" @default.
- W1594742631 hasPublicationYear "2007" @default.
- W1594742631 type Work @default.
- W1594742631 sameAs 1594742631 @default.
- W1594742631 citedByCount "5" @default.
- W1594742631 countsByYear W15947426312012 @default.
- W1594742631 crossrefType "book-chapter" @default.
- W1594742631 hasAuthorship W1594742631A5020837653 @default.
- W1594742631 hasBestOaLocation W15947426311 @default.
- W1594742631 hasConcept C11413529 @default.
- W1594742631 hasConcept C118615104 @default.
- W1594742631 hasConcept C135315306 @default.
- W1594742631 hasConcept C154945302 @default.
- W1594742631 hasConcept C15569618 @default.
- W1594742631 hasConcept C19235068 @default.
- W1594742631 hasConcept C2777212361 @default.
- W1594742631 hasConcept C2778003309 @default.
- W1594742631 hasConcept C2779379073 @default.
- W1594742631 hasConcept C33923547 @default.
- W1594742631 hasConcept C41008148 @default.
- W1594742631 hasConcept C80444323 @default.
- W1594742631 hasConceptScore W1594742631C11413529 @default.
- W1594742631 hasConceptScore W1594742631C118615104 @default.
- W1594742631 hasConceptScore W1594742631C135315306 @default.
- W1594742631 hasConceptScore W1594742631C154945302 @default.
- W1594742631 hasConceptScore W1594742631C15569618 @default.
- W1594742631 hasConceptScore W1594742631C19235068 @default.
- W1594742631 hasConceptScore W1594742631C2777212361 @default.
- W1594742631 hasConceptScore W1594742631C2778003309 @default.
- W1594742631 hasConceptScore W1594742631C2779379073 @default.
- W1594742631 hasConceptScore W1594742631C33923547 @default.
- W1594742631 hasConceptScore W1594742631C41008148 @default.
- W1594742631 hasConceptScore W1594742631C80444323 @default.
- W1594742631 hasLocation W15947426311 @default.
- W1594742631 hasLocation W15947426312 @default.
- W1594742631 hasLocation W15947426313 @default.
- W1594742631 hasOpenAccess W1594742631 @default.
- W1594742631 hasPrimaryLocation W15947426311 @default.
- W1594742631 hasRelatedWork W1594742631 @default.
- W1594742631 hasRelatedWork W1600892692 @default.
- W1594742631 hasRelatedWork W1964652583 @default.
- W1594742631 hasRelatedWork W2015287249 @default.
- W1594742631 hasRelatedWork W2598547732 @default.
- W1594742631 hasRelatedWork W2766124107 @default.
- W1594742631 hasRelatedWork W2903714672 @default.
- W1594742631 hasRelatedWork W2913957834 @default.
- W1594742631 hasRelatedWork W3038021740 @default.
- W1594742631 hasRelatedWork W4293472109 @default.
- W1594742631 isParatext "false" @default.
- W1594742631 isRetracted "false" @default.
- W1594742631 magId "1594742631" @default.
- W1594742631 workType "book-chapter" @default.