Patricia Bouyer

Université Paris-Saclay , CNRS , ENS Paris-Saclay , Laboratoire Méthodes Formelles , 91190 , Gif-sur-Yvette , France

2 papers in the IJCAI proceedings

IJCAI 2023

Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)

with Antonio Casares, Mickael Randour, Pierre Vandenhove

doi:10.24963/ijcai.2023/713

Details PDF

IJCAI 2019

Reasoning about Quality and Fuzziness of Strategic Behaviours

with Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

doi:10.24963/ijcai.2019/220

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings