Skip to contents

  4. Bozzelli, Laura [Author]; Murano, Aniello [Author]; Perelli, Giuseppe [Author]; Sorrentino, Loredana [Author] ; Laura Bozzelli and Aniello Murano and Giuseppe Perelli and Loredana Sorrentino [Contributor]

    Hierarchical Cost-Parity 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, 2017

  17. Main, James C. A. [Author]; Randour, Mickael [Author]; Sproston, Jeremy [Author] ; James C. A. Main and Mickael Randour and Jeremy Sproston [Contributor]

    Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives

    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

  19. Chatterjee, Krishnendu [Author]; Dvorák, Wolfgang [Author]; Henzinger, Monika [Author]; Loitzenbauer, Veronika [Author] ; Krishnendu Chatterjee and Wolfgang Dvorák and Monika Henzinger and Veronika Loitzenbauer [Contributor]

    Improved Set-Based Symbolic Algorithms for Parity 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, 2017