no code implementations • 12 Jan 2020 • Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
In 2005, Gimbert and Zielonka provided a complete characterization of preference relations (a formal framework to model specifications and game objectives) that admit memoryless optimal strategies for both players.
Computer Science and Game Theory Formal Languages and Automata Theory Logic in Computer Science