Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.
Julian GutierrezMuhammad NajibGiuseppe PerelliMichael J. WooldridgePublished in: CoRR (2023)
Keyphrases
- temporal logic
- social welfare
- model checking
- cooperative games
- dynamic constraints
- resource allocation
- automata theoretic
- utility function
- coalition structures
- temporally extended
- nash equilibrium
- modal logic
- game theoretic
- pareto optimal
- nash equilibria
- satisfiability problem
- mechanism design
- game theory
- linear temporal logic
- concurrent systems
- combinatorial auctions
- verification method
- belief revision
- decision makers
- pure nash equilibria
- np hard
- coalitional games
- solution concepts