Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890118969> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2890118969 endingPage "42" @default.
- W2890118969 startingPage "30" @default.
- W2890118969 abstract "We introduce a way to parameterize automata and games on finite graphs with natural numbers. The parameters are accessed essentially by allowing counting down from the parameter value to 0 and branching depending on whether 0 has been reached. The main technical result is that in games, a player can win for some values of the parameters at all, if she can win for some values below an exponential bound. For many winning conditions, this implies decidability of any statements about a player being able to win with arbitrary quantification over the parameter values. While the result seems broadly applicable, a specific motivation comes from the study of chains of strategies in games. Chains of games were recently suggested as a means to define a rationality notion based on dominance that works well with quantitative games by Bassett, Jecker, P., Raskin and Van den Boogard. From the main result of this paper, we obtain generalizations of their decidability results with much simpler proofs. As both a core technical notion in the proof of the main result, and as a notion of potential independent interest, we look at boolean functions defined via graph game forms. Graph game forms have properties akin to monotone circuits, albeit are more concise. We raise some open questions regarding how concise they are exactly, which have a flavour similar to circuit complexity. Answers to these questions could improve the bounds in the main theorem." @default.
- W2890118969 created "2018-09-27" @default.
- W2890118969 creator A5091475454 @default.
- W2890118969 date "2018-09-07" @default.
- W2890118969 modified "2023-10-16" @default.
- W2890118969 title "Parameterized Games and Parameterized Automata" @default.
- W2890118969 cites W1481074184 @default.
- W2890118969 cites W1591239571 @default.
- W2890118969 cites W1622764697 @default.
- W2890118969 cites W1790689966 @default.
- W2890118969 cites W2043715088 @default.
- W2890118969 cites W2069683079 @default.
- W2890118969 cites W2073286344 @default.
- W2890118969 cites W2090362493 @default.
- W2890118969 cites W2094257968 @default.
- W2890118969 cites W2096272173 @default.
- W2890118969 cites W2115082275 @default.
- W2890118969 cites W2121894842 @default.
- W2890118969 cites W2124324342 @default.
- W2890118969 cites W2142133061 @default.
- W2890118969 cites W2586521831 @default.
- W2890118969 cites W2593796845 @default.
- W2890118969 cites W2604798101 @default.
- W2890118969 cites W2623730827 @default.
- W2890118969 cites W2767293653 @default.
- W2890118969 cites W4241548587 @default.
- W2890118969 cites W4248784701 @default.
- W2890118969 cites W853304191 @default.
- W2890118969 doi "https://doi.org/10.4204/eptcs.277.3" @default.
- W2890118969 hasPublicationYear "2018" @default.
- W2890118969 type Work @default.
- W2890118969 sameAs 2890118969 @default.
- W2890118969 citedByCount "0" @default.
- W2890118969 crossrefType "journal-article" @default.
- W2890118969 hasAuthorship W2890118969A5091475454 @default.
- W2890118969 hasBestOaLocation W28901189691 @default.
- W2890118969 hasConcept C108710211 @default.
- W2890118969 hasConcept C112505250 @default.
- W2890118969 hasConcept C114614502 @default.
- W2890118969 hasConcept C118615104 @default.
- W2890118969 hasConcept C132525143 @default.
- W2890118969 hasConcept C144237770 @default.
- W2890118969 hasConcept C153269930 @default.
- W2890118969 hasConcept C165464430 @default.
- W2890118969 hasConcept C2524010 @default.
- W2890118969 hasConcept C2834757 @default.
- W2890118969 hasConcept C33923547 @default.
- W2890118969 hasConcept C41008148 @default.
- W2890118969 hasConcept C80444323 @default.
- W2890118969 hasConceptScore W2890118969C108710211 @default.
- W2890118969 hasConceptScore W2890118969C112505250 @default.
- W2890118969 hasConceptScore W2890118969C114614502 @default.
- W2890118969 hasConceptScore W2890118969C118615104 @default.
- W2890118969 hasConceptScore W2890118969C132525143 @default.
- W2890118969 hasConceptScore W2890118969C144237770 @default.
- W2890118969 hasConceptScore W2890118969C153269930 @default.
- W2890118969 hasConceptScore W2890118969C165464430 @default.
- W2890118969 hasConceptScore W2890118969C2524010 @default.
- W2890118969 hasConceptScore W2890118969C2834757 @default.
- W2890118969 hasConceptScore W2890118969C33923547 @default.
- W2890118969 hasConceptScore W2890118969C41008148 @default.
- W2890118969 hasConceptScore W2890118969C80444323 @default.
- W2890118969 hasLocation W28901189691 @default.
- W2890118969 hasLocation W28901189692 @default.
- W2890118969 hasLocation W28901189693 @default.
- W2890118969 hasLocation W28901189694 @default.
- W2890118969 hasOpenAccess W2890118969 @default.
- W2890118969 hasPrimaryLocation W28901189691 @default.
- W2890118969 hasRelatedWork W1190524203 @default.
- W2890118969 hasRelatedWork W131957635 @default.
- W2890118969 hasRelatedWork W142519030 @default.
- W2890118969 hasRelatedWork W1485231064 @default.
- W2890118969 hasRelatedWork W1835836356 @default.
- W2890118969 hasRelatedWork W2121482121 @default.
- W2890118969 hasRelatedWork W2260966014 @default.
- W2890118969 hasRelatedWork W2955005634 @default.
- W2890118969 hasRelatedWork W3021818601 @default.
- W2890118969 hasRelatedWork W3023170743 @default.
- W2890118969 hasVolume "277" @default.
- W2890118969 isParatext "false" @default.
- W2890118969 isRetracted "false" @default.
- W2890118969 magId "2890118969" @default.
- W2890118969 workType "article" @default.