Skip to contents

  1. Fijalkow, Nathanaël [Author]; Pinchinat, Sophie [Author]; Serre, Olivier [Author] ; Nathanaël Fijalkow and Sophie Pinchinat and Olivier Serre [Contributor]

    Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  2. Berthon, Raphaël; Fijalkow, Nathanaël; Filiot, Emmanuel; Guha, Shibashis; Maubert, Bastien; Murano, Aniello; Pinault, Laureline; Pinchinat, Sophie; Rubin, Sasha; Serre, Olivier

    Alternating Tree Automata with Qualitative Semantics

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 2021

    Published in: ACM Transactions on Computational Logic