Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

Open in new window