Catalogo dei prodotti della ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThe 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.
Equilibria for Games with Combined Qualitative and Quantitative Objects / Gutierrez, Juilan; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael. - In: ACTA INFORMATICA. - ISSN 1432-0525. - 58:6(2021), pp. 585-610. [10.1007/s00236-020-00385-4]
| Titolo: | Equilibria for Games with Combined Qualitative and Quantitative Objects | |
| Autori: | ||
| Data di pubblicazione: | 2021 | |
| Rivista: | ||
| Citazione: | Equilibria for Games with Combined Qualitative and Quantitative Objects / Gutierrez, Juilan; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael. - In: ACTA INFORMATICA. - ISSN 1432-0525. - 58:6(2021), pp. 585-610. [10.1007/s00236-020-00385-4] | |
| Handle: | http://hdl.handle.net/11573/1418258 | |
| Appartiene alla tipologia: | 01a Articolo in rivista |
File allegati a questo prodotto
| File | Note | Tipologia | Licenza | |
|---|---|---|---|---|
| Gutierrez_Preprint_Equilibria_2021.pdf | https://link.springer.com/article/10.1007/s00236-020-00385-4 | Documento in Pre-print (manoscritto inviato all'editore, precedente alla peer review) | Tutti i diritti riservati (All rights reserved) | Open Access Visualizza/Apri |
| Gutierrez_Equilibria_2021.pdf | Versione editoriale (versione pubblicata con il layout dell'editore) | Tutti i diritti riservati (All rights reserved) | Administrator Richiedi una copia |
http://hdl.handle.net/11573/1418258
Copyright © 2022