Skip to contents

  1. Tagorti, Manel [Author] ; Université de Lorraine [Contributor]; Hoffmann, Jörg [Contributor]; Scherrer, Bruno [Contributor]

    Sur les abstractions et les projections des processus décisionnels de Markov de grande taille ; On the abstractions and projections of Large Markov Decision Processes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2015-02-03

  2. Gaukler, Maximilian [Author] ; Roppenecker, Günter [Degree supervisor]; Roppenecker, Günter [Other]; Ulbrich, Peter [Other]; Konigorski, Ulrich [Other] FAU University Press ein Imprint der Universität Erlangen-Nürnberg Universitätsbibliothek

    Safety Verification of Real-Time Control Systems with Flexible Timing

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Erlangen: FAU University Press, 2023

    Published in: FAU Studien aus der Elektrotechnik ; 20