Skip to contents

  6. Casares, Antonio [Author]; Colcombet, Thomas [Author]; Fijalkow, Nathanaël [Author] ; Antonio Casares and Thomas Colcombet and Nathanaël Fijalkow [Contributor]

    Optimal Transformations of Games and Automata Using Muller Conditions

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  10. Fisman, Dana [Author]

    Polynomial Identification of $\omega$-Automata

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

  12. Casares, Antonio [Author]; Colcombet, Thomas [Author]; Lehtinen, Karoliina [Author] ; Antonio Casares and Thomas Colcombet and Karoliina Lehtinen [Contributor]

    On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  13. Vandenhove, Pierre [Author] ; université Paris-Saclay [Contributor]; Université de Mons [Contributor]; Bouyer-Decitre, Patricia [Contributor]; Randour, Mickaël [Contributor]

    Strategy complexity of zero-sum games on graphs ; Complexité des stratégies des jeux sur graphes à somme nulle

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2023-04-26