TY - RPRT TI - Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints AU - Julian Gutierrez AU - Muhammad Najib AU - Giuseppe Perelli AU - Michael Wooldridge PY - 2024 DO - 10.46298/lmcs-20(4:21)2024 UR - https://arxiv.org/abs/2306.03045 ID - 2306.03045 ER -