Matches in SemOpenAlex for { <https://semopenalex.org/work/W2924278904> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2924278904 abstract "In recent years, two-player zero-sum games with multiple objectives have received a lot of interest as a model for the synthesis of complex reactive systems. In this framework, Player 1 wins if he can ensure that all objectives are satisfied against any behavior of Player 2. When this is not possible to satisfy all the objectives at once, an alternative is to use some preorder on the objectives according to which subset of objectives Player 1 wants to satisfy. For example, it is often natural to provide more significance to one objective over another, a situation that can be modelled with lexicographically ordered objectives for instance. Inspired by recent work on concurrent games with multiple {omega}-regular objectives by Bouyer et al., we investigate in detail turned-based games with monotonically ordered and {omega}-regular objectives. We study the threshold problem which asks whether player 1 can ensure a payoff greater than or equal to a given threshold w.r.t. a given monotonic preorder. As the number of objectives is usually much smaller than the size of the game graph, we provide a parametric complexity analysis and we show that our threshold problem is in FPT for all monotonic preorders and all classical types of {omega}-regular objectives. We also provide polynomial time algorithms for Buchi, coBuchi and explicit Muller objectives for a large subclass of monotonic preorders that includes among others the lexicographic preorder. In the particular case of lexicographic preorder, we also study the complexity of computing the values and the memory requirements of optimal strategies." @default.
- W2924278904 created "2019-04-01" @default.
- W2924278904 creator A5004701424 @default.
- W2924278904 creator A5018655997 @default.
- W2924278904 creator A5050196522 @default.
- W2924278904 date "2018-01-01" @default.
- W2924278904 modified "2023-09-23" @default.
- W2924278904 title "Parameterized complexity of games with monotonically ordered omega-regular objectives." @default.
- W2924278904 hasPublicationYear "2018" @default.
- W2924278904 type Work @default.
- W2924278904 sameAs 2924278904 @default.
- W2924278904 citedByCount "2" @default.
- W2924278904 countsByYear W29242789042020 @default.
- W2924278904 countsByYear W29242789042022 @default.
- W2924278904 crossrefType "proceedings-article" @default.
- W2924278904 hasAuthorship W2924278904A5004701424 @default.
- W2924278904 hasAuthorship W2924278904A5018655997 @default.
- W2924278904 hasAuthorship W2924278904A5050196522 @default.
- W2924278904 hasConcept C105795698 @default.
- W2924278904 hasConcept C114614502 @default.
- W2924278904 hasConcept C117251300 @default.
- W2924278904 hasConcept C118615104 @default.
- W2924278904 hasConcept C121332964 @default.
- W2924278904 hasConcept C134306372 @default.
- W2924278904 hasConcept C144237770 @default.
- W2924278904 hasConcept C146380142 @default.
- W2924278904 hasConcept C159254197 @default.
- W2924278904 hasConcept C165464430 @default.
- W2924278904 hasConcept C22171661 @default.
- W2924278904 hasConcept C2333172 @default.
- W2924278904 hasConcept C2779557605 @default.
- W2924278904 hasConcept C33923547 @default.
- W2924278904 hasConcept C41008148 @default.
- W2924278904 hasConcept C62520636 @default.
- W2924278904 hasConcept C72169020 @default.
- W2924278904 hasConceptScore W2924278904C105795698 @default.
- W2924278904 hasConceptScore W2924278904C114614502 @default.
- W2924278904 hasConceptScore W2924278904C117251300 @default.
- W2924278904 hasConceptScore W2924278904C118615104 @default.
- W2924278904 hasConceptScore W2924278904C121332964 @default.
- W2924278904 hasConceptScore W2924278904C134306372 @default.
- W2924278904 hasConceptScore W2924278904C144237770 @default.
- W2924278904 hasConceptScore W2924278904C146380142 @default.
- W2924278904 hasConceptScore W2924278904C159254197 @default.
- W2924278904 hasConceptScore W2924278904C165464430 @default.
- W2924278904 hasConceptScore W2924278904C22171661 @default.
- W2924278904 hasConceptScore W2924278904C2333172 @default.
- W2924278904 hasConceptScore W2924278904C2779557605 @default.
- W2924278904 hasConceptScore W2924278904C33923547 @default.
- W2924278904 hasConceptScore W2924278904C41008148 @default.
- W2924278904 hasConceptScore W2924278904C62520636 @default.
- W2924278904 hasConceptScore W2924278904C72169020 @default.
- W2924278904 hasLocation W29242789041 @default.
- W2924278904 hasOpenAccess W2924278904 @default.
- W2924278904 hasPrimaryLocation W29242789041 @default.
- W2924278904 hasRelatedWork W120296374 @default.
- W2924278904 hasRelatedWork W1504841338 @default.
- W2924278904 hasRelatedWork W1523314927 @default.
- W2924278904 hasRelatedWork W1818968539 @default.
- W2924278904 hasRelatedWork W2008487582 @default.
- W2924278904 hasRelatedWork W2042796301 @default.
- W2924278904 hasRelatedWork W2069888227 @default.
- W2924278904 hasRelatedWork W2074996640 @default.
- W2924278904 hasRelatedWork W2108208833 @default.
- W2924278904 hasRelatedWork W2151196209 @default.
- W2924278904 hasRelatedWork W2249333371 @default.
- W2924278904 hasRelatedWork W2252171406 @default.
- W2924278904 hasRelatedWork W2341159425 @default.
- W2924278904 hasRelatedWork W2529518311 @default.
- W2924278904 hasRelatedWork W2755538704 @default.
- W2924278904 hasRelatedWork W2949594712 @default.
- W2924278904 hasRelatedWork W2951121950 @default.
- W2924278904 hasRelatedWork W2972772721 @default.
- W2924278904 hasRelatedWork W3021943918 @default.
- W2924278904 hasRelatedWork W3202621629 @default.
- W2924278904 isParatext "false" @default.
- W2924278904 isRetracted "false" @default.
- W2924278904 magId "2924278904" @default.
- W2924278904 workType "article" @default.