Equilibrium Design for Concurrent Games

Julián Gutiérrez, Muhammad Sharfi Najib, Giuseppe Perelli, Michael Wooldridge

Type: Preprint

Publication Date: 2021-06-18

Citations: 0

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Equilibrium Design for Concurrent Games	2021	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints	2023	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints	2024	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)	2023	Julián Gutiérrez Anthony W. Lin Muhammad Sharfi Najib Thomas Steeples Michael Wooldridge
+	Correlated Equilibria and Fairness in Concurrent Stochastic Games	2022	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Rational Verification for Probabilistic Systems	2021	Julián Gutiérrez Lewis Hammond Anthony W. Lin Muhammad Sharfi Najib Michael Wooldridge
+	Rational Verification for Probabilistic Systems	2021	Julián Gutiérrez Lewis Hammond Anthony W. Lin Muhammad Najib Michael Wooldridge
+	Rational Verification for Probabilistic Systems	2021	Julián Gutiérrez Lewis Hammond Anthony W. Lin Muhammad Sharfi Najib Michael Wooldridge
+ PDF Chat	Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)	2024	Muhammad Sharfi Najib Giuseppe Perelli
+	Automatic Verification of Concurrent Stochastic Systems	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Automatic Verification of Concurrent Stochastic Systems	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+ PDF Chat	Pure Nash Equilibria in Concurrent Deterministic Games	2015	Patricia Bouyer Romain Brenguier Nicolas Markey Michael Ummels
+ PDF Chat	On the complexity of rational verification	2022	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Automated temporal equilibrium analysis: Verification and synthesis of multi-player games	2020	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games	2020	Julián Gutiérrez Muhammad Najib Giuseppe Perelli Michael Wooldridge
+	Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games	2020	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Multi-player Equilibria Verification for Concurrent Stochastic Games	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Multi-player Equilibria Verification for Concurrent Stochastic Games	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+ PDF Chat	Incentive Engineering for Concurrent Games	2023	David C. Hyland Julián Gutiérrez Michael Wooldridge
+	Rational Synthesis	2009	Dana Fisman Orna Kupferman Yoad Lustig

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (5)

Action	Title	Year	Authors
+ PDF Chat	Pure Nash Equilibria in Concurrent Deterministic Games	2015	Patricia Bouyer Romain Brenguier Nicolas Markey Michael Ummels
+	Synthesis from LTL Specifications with Mean-Payoff Objectives	2013	Aaron Bohy Véronique Bruyère Emmanuel Filiot Jean-François Raskin
+ PDF Chat	The complexity of multi-mean-payoff and multi-energy games	2015	Yaron Velner Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Alexander Rabinovich Jean-François Raskin
+ PDF Chat	The Computational Complexity of Structure-Based Causality	2017	Gadi Aleksandrowicz Hana Chockler Joseph Y. Halpern Alexander Ivrii
+ PDF Chat	The Complexity of Nash Equilibria in Limit-Average Games	2011	Michael Ummels Dominik Wojtczak