Matches in SemOpenAlex for { <https://semopenalex.org/work/W3118797036> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3118797036 abstract "The problem of finding pure strategy Nash equilibria in multiagent concurrent games with finite-horizon temporal goals has received some recent attention. Earlier work solved this problem through the use of Rabin automata. In this work, we take advantage of the finite-horizon nature of the agents' goals and show that checking for and finding pure strategy Nash equilibria can be done using a combination of safety games and lasso testing in Buchi automata. To separate strategic reasoning from temporal reasoning, we model agents' goals by deterministic finite-word automata (DFAs), since finite-horizon logics such as LTLtextsubscript{f} and LDLtextsubscript{f} are reasoned about through conversion to equivalent DFAs. This allow us characterize the complexity of the problem as PSPACE complete." @default.
- W3118797036 created "2021-01-18" @default.
- W3118797036 creator A5000059818 @default.
- W3118797036 creator A5032418372 @default.
- W3118797036 date "2021-01-03" @default.
- W3118797036 modified "2023-09-27" @default.
- W3118797036 title "Nash Equilibria in Finite-Horizon Multiagent Concurrent Games" @default.
- W3118797036 cites W1482244486 @default.
- W3118797036 cites W1528676759 @default.
- W3118797036 cites W1535974208 @default.
- W3118797036 cites W1540883472 @default.
- W3118797036 cites W1818793721 @default.
- W3118797036 cites W1971138850 @default.
- W3118797036 cites W1990609140 @default.
- W3118797036 cites W1994584977 @default.
- W3118797036 cites W2016206563 @default.
- W3118797036 cites W2023808162 @default.
- W3118797036 cites W2039529128 @default.
- W3118797036 cites W2048905609 @default.
- W3118797036 cites W2057905493 @default.
- W3118797036 cites W2067050450 @default.
- W3118797036 cites W2108947407 @default.
- W3118797036 cites W2120967289 @default.
- W3118797036 cites W2141422781 @default.
- W3118797036 cites W2294184790 @default.
- W3118797036 cites W2473183186 @default.
- W3118797036 cites W2620885221 @default.
- W3118797036 cites W2744639402 @default.
- W3118797036 cites W2883282789 @default.
- W3118797036 cites W2912494578 @default.
- W3118797036 cites W2923538364 @default.
- W3118797036 cites W3038043032 @default.
- W3118797036 cites W3175871729 @default.
- W3118797036 hasPublicationYear "2021" @default.
- W3118797036 type Work @default.
- W3118797036 sameAs 3118797036 @default.
- W3118797036 citedByCount "0" @default.
- W3118797036 crossrefType "posted-content" @default.
- W3118797036 hasAuthorship W3118797036A5000059818 @default.
- W3118797036 hasAuthorship W3118797036A5032418372 @default.
- W3118797036 hasConcept C112505250 @default.
- W3118797036 hasConcept C11413529 @default.
- W3118797036 hasConcept C126255220 @default.
- W3118797036 hasConcept C144237770 @default.
- W3118797036 hasConcept C167822520 @default.
- W3118797036 hasConcept C28761237 @default.
- W3118797036 hasConcept C33923547 @default.
- W3118797036 hasConcept C41008148 @default.
- W3118797036 hasConcept C46814582 @default.
- W3118797036 hasConcept C80444323 @default.
- W3118797036 hasConceptScore W3118797036C112505250 @default.
- W3118797036 hasConceptScore W3118797036C11413529 @default.
- W3118797036 hasConceptScore W3118797036C126255220 @default.
- W3118797036 hasConceptScore W3118797036C144237770 @default.
- W3118797036 hasConceptScore W3118797036C167822520 @default.
- W3118797036 hasConceptScore W3118797036C28761237 @default.
- W3118797036 hasConceptScore W3118797036C33923547 @default.
- W3118797036 hasConceptScore W3118797036C41008148 @default.
- W3118797036 hasConceptScore W3118797036C46814582 @default.
- W3118797036 hasConceptScore W3118797036C80444323 @default.
- W3118797036 hasLocation W31187970361 @default.
- W3118797036 hasOpenAccess W3118797036 @default.
- W3118797036 hasPrimaryLocation W31187970361 @default.
- W3118797036 hasRelatedWork W1526611557 @default.
- W3118797036 hasRelatedWork W1563174806 @default.
- W3118797036 hasRelatedWork W1570009210 @default.
- W3118797036 hasRelatedWork W1770177997 @default.
- W3118797036 hasRelatedWork W1786478901 @default.
- W3118797036 hasRelatedWork W1792405193 @default.
- W3118797036 hasRelatedWork W2035745665 @default.
- W3118797036 hasRelatedWork W2048930017 @default.
- W3118797036 hasRelatedWork W2341159425 @default.
- W3118797036 hasRelatedWork W2403413155 @default.
- W3118797036 hasRelatedWork W2403655022 @default.
- W3118797036 hasRelatedWork W2530905289 @default.
- W3118797036 hasRelatedWork W2620885221 @default.
- W3118797036 hasRelatedWork W2806425558 @default.
- W3118797036 hasRelatedWork W2912248071 @default.
- W3118797036 hasRelatedWork W2952846218 @default.
- W3118797036 hasRelatedWork W2963037014 @default.
- W3118797036 hasRelatedWork W3013665479 @default.
- W3118797036 hasRelatedWork W3174446711 @default.
- W3118797036 hasRelatedWork W2189128775 @default.
- W3118797036 isParatext "false" @default.
- W3118797036 isRetracted "false" @default.
- W3118797036 magId "3118797036" @default.
- W3118797036 workType "article" @default.