15 citations · 79 across the 28 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
A Theory of Hanoi Omega-Automata and Games
Emmanuel Filiot, Allen Joseph, Guillermo A. Pérez +1
The Hanoi Omega-Automata (HOA) format has established itself as the definitive standard for encoding -regular automata in modern synthesis tools. While HOA is widely adopted due…
cs.GT2026
An Automata-Based Approach to Games with -Automatic Preferences
Véronique Bruyère, Emmanuel Filiot, Christophe Grandmont +1
This paper studies multiplayer turn-based games on graphs in which player preferences are modeled as -automatic relations given by deterministic parity automata. This contrasts…