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]
No references recorded for this publication.
No citations of this publication recorded.