Skip to contents

  1. Dorsch, Ulrich [Author]; Milius, Stefan [Author]; Schröder, Lutz [Author]; Wißmann, Thorsten [Author] ; Ulrich Dorsch and Stefan Milius and Lutz Schröder and Thorsten Wißmann [Contributor]

    Efficient Coalgebraic Partition Refinement

    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, 2017

  2. Winkler, A. (Andrea) [Author] ; Alsmeyer, G. (Gerold) [Contributor]; Universitäts- und Landesbibliothek Münster [Contributor]

    Metabasins or a state space aggregation for finite Markov chains with exponentially small transition probabilities

    Thesis
    View online
    Close

    Bookmarks

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

    Münster University (WWU): miami, 2013-02-03