Games with $\omega$-Automatic Preference Relations

Véronique Bruyère, Christophe Grandmont, Jean-François Raskin

This paper investigates Nash equilibria (NEs) in multi-player turn-based games on graphs, where player preferences are modeled as $\omega$-automatic relations via deterministic parity a…