Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. In Anil Seth, Nisheeth K. Vishnoi, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. Volume 24 of LIPIcs, pages 299-311, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Authors

Nathanaël Fijalkow

This author has not been identified. Look up 'Nathanaël Fijalkow' in Google

Sophie Pinchinat

This author has not been identified. Look up 'Sophie Pinchinat' in Google

Olivier Serre

This author has not been identified. Look up 'Olivier Serre' in Google