Skip to contents

  1. Asselborn, Leonhard [Author] ; Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik [Contributor]; Stursberg, Olaf [Contributor]; Abraham, Erika [Contributor]

    Control of Stochastic Hybrid Systems based on Probabilistic Reachable Set Computation - [published Version]

    Books
    View online
    Close

    Bookmarks

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

    kassel university press; Kassel, 2018

  2. Mahdi, Ahmed [Author] ; Fränzle, Martin [Degree supervisor]; Becker, Bernd [Degree supervisor]; Theel, Oliver [Degree supervisor]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Books
    View online
    Close

    Bookmarks

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

    Oldenburg: BIS der Universität Oldenburg, 2017