Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034407568> ?p ?o ?g. }
- W3034407568 endingPage "610" @default.
- W3034407568 startingPage "585" @default.
- W3034407568 abstract "The overall aim of our research is to develop techniques to reason about the equilibrium properties of multi-agent systems. We model multi-agent systems as concurrent games, in which each player is a process that is assumed to act independently and strategically in pursuit of personal preferences. In this article, we study these games in the context of finite-memory strategies, and we assume players’ preferences are defined by a qualitative and a quantitative objective, which are related by a lexicographic order: a player first prefers to satisfy its qualitative objective (given as a formula of linear temporal logic) and then prefers to minimise costs (given by a mean-payoff function). Our main result is that deciding the existence of a strict $$epsilon $$ Nash equilibrium in such games is 2ExpTime-complete (and hence decidable), even if players’ deviations are implemented as infinite-memory strategies." @default.
- W3034407568 created "2020-06-19" @default.
- W3034407568 creator A5000922082 @default.
- W3034407568 creator A5007740136 @default.
- W3034407568 creator A5026823260 @default.
- W3034407568 creator A5055415505 @default.
- W3034407568 creator A5065393757 @default.
- W3034407568 creator A5066350298 @default.
- W3034407568 date "2020-06-13" @default.
- W3034407568 modified "2023-10-05" @default.
- W3034407568 title "Equilibria for games with combined qualitative and quantitative objectives" @default.
- W3034407568 cites W1415442047 @default.
- W3034407568 cites W1512310098 @default.
- W3034407568 cites W1758301490 @default.
- W3034407568 cites W1786377004 @default.
- W3034407568 cites W1964901465 @default.
- W3034407568 cites W1971499713 @default.
- W3034407568 cites W1974179433 @default.
- W3034407568 cites W1980813953 @default.
- W3034407568 cites W1981015644 @default.
- W3034407568 cites W2016206563 @default.
- W3034407568 cites W2023808162 @default.
- W3034407568 cites W2026128612 @default.
- W3034407568 cites W2040148146 @default.
- W3034407568 cites W2048905609 @default.
- W3034407568 cites W2057905493 @default.
- W3034407568 cites W2075279493 @default.
- W3034407568 cites W2082315935 @default.
- W3034407568 cites W2096608485 @default.
- W3034407568 cites W2118382442 @default.
- W3034407568 cites W2142133061 @default.
- W3034407568 cites W2262389240 @default.
- W3034407568 cites W2473183186 @default.
- W3034407568 cites W2606396104 @default.
- W3034407568 cites W2740075325 @default.
- W3034407568 cites W2806425558 @default.
- W3034407568 cites W2812104613 @default.
- W3034407568 cites W2912248071 @default.
- W3034407568 cites W2912494578 @default.
- W3034407568 cites W2952908521 @default.
- W3034407568 cites W3105321970 @default.
- W3034407568 cites W4252284432 @default.
- W3034407568 cites W4381707737 @default.
- W3034407568 doi "https://doi.org/10.1007/s00236-020-00385-4" @default.
- W3034407568 hasPublicationYear "2020" @default.
- W3034407568 type Work @default.
- W3034407568 sameAs 3034407568 @default.
- W3034407568 citedByCount "5" @default.
- W3034407568 countsByYear W30344075682021 @default.
- W3034407568 countsByYear W30344075682022 @default.
- W3034407568 countsByYear W30344075682023 @default.
- W3034407568 crossrefType "journal-article" @default.
- W3034407568 hasAuthorship W3034407568A5000922082 @default.
- W3034407568 hasAuthorship W3034407568A5007740136 @default.
- W3034407568 hasAuthorship W3034407568A5026823260 @default.
- W3034407568 hasAuthorship W3034407568A5055415505 @default.
- W3034407568 hasAuthorship W3034407568A5065393757 @default.
- W3034407568 hasAuthorship W3034407568A5066350298 @default.
- W3034407568 hasBestOaLocation W30344075682 @default.
- W3034407568 hasConcept C10138342 @default.
- W3034407568 hasConcept C11413529 @default.
- W3034407568 hasConcept C114614502 @default.
- W3034407568 hasConcept C126255220 @default.
- W3034407568 hasConcept C14036430 @default.
- W3034407568 hasConcept C144237770 @default.
- W3034407568 hasConcept C151730666 @default.
- W3034407568 hasConcept C153269930 @default.
- W3034407568 hasConcept C159254197 @default.
- W3034407568 hasConcept C162324750 @default.
- W3034407568 hasConcept C182306322 @default.
- W3034407568 hasConcept C22171661 @default.
- W3034407568 hasConcept C24858836 @default.
- W3034407568 hasConcept C2779343474 @default.
- W3034407568 hasConcept C32407928 @default.
- W3034407568 hasConcept C33923547 @default.
- W3034407568 hasConcept C41008148 @default.
- W3034407568 hasConcept C46814582 @default.
- W3034407568 hasConcept C78458016 @default.
- W3034407568 hasConcept C80444323 @default.
- W3034407568 hasConcept C86803240 @default.
- W3034407568 hasConceptScore W3034407568C10138342 @default.
- W3034407568 hasConceptScore W3034407568C11413529 @default.
- W3034407568 hasConceptScore W3034407568C114614502 @default.
- W3034407568 hasConceptScore W3034407568C126255220 @default.
- W3034407568 hasConceptScore W3034407568C14036430 @default.
- W3034407568 hasConceptScore W3034407568C144237770 @default.
- W3034407568 hasConceptScore W3034407568C151730666 @default.
- W3034407568 hasConceptScore W3034407568C153269930 @default.
- W3034407568 hasConceptScore W3034407568C159254197 @default.
- W3034407568 hasConceptScore W3034407568C162324750 @default.
- W3034407568 hasConceptScore W3034407568C182306322 @default.
- W3034407568 hasConceptScore W3034407568C22171661 @default.
- W3034407568 hasConceptScore W3034407568C24858836 @default.
- W3034407568 hasConceptScore W3034407568C2779343474 @default.
- W3034407568 hasConceptScore W3034407568C32407928 @default.
- W3034407568 hasConceptScore W3034407568C33923547 @default.
- W3034407568 hasConceptScore W3034407568C41008148 @default.
- W3034407568 hasConceptScore W3034407568C46814582 @default.