Accéder directement au contenu

Olivier Serre

3
Documents
Identifiants chercheurs

Présentation

Publications

sophie-pinchinat
Image document

Alternating Tree Automata with Qualitative Semantics

 Raphaël Berthon , Nathanaël Fijalkow , Emmanuel Filiot , Shibashis Guha , Bastien Maubert
ACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue hal-02533936v1
Image document

Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

 Nathanaël Fijalkow , Sophie Pinchinat , Olivier Serre
33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. pp.13, ⟨10.4230/LIPIcs.FSTTCS.2013.299⟩
Communication dans un congrès hal-01260682v2
Image document

Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information

 Sophie Pinchinat , Olivier Serre
[Research Report] PI-1992, 2012, pp.6
Rapport hal-00700334v1