Accéder directement au contenu

Sophie Pinchinat

2
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

nathanael-fijalkow
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