Skip to contents

  4. Baier, Christel [Author]; Katoen, Joost-Pieter [Author]

    Principles of model checking

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, 2008

  7. Piribauer, Jakob [Author] ; Baier, Christel [Other]

    On Skolem-hardness and saturation points in Markov decision processes: Q/A Session A - Paper A4.A

    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]: Center for Perspicuous Computing – TRR 248, 2020

    Published in: 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020) -

  8. Baier, Christel [Author] ; ACM Special Interest Group on Logic and Computation, ACM SIGs

    Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    New York,NY,United States: Association for Computing Machinery, 2022

    Published in: ACM Conferences- ACM Digital Library

  9. Baier, Christel [Author] ; Dal Lago, Ugo [Editor]

    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer Nature, 2018

  10. Baier, Christel [Author] ; Tinelli, Cesare [Editor]

    Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2015

    Published in: Lecture notes in computer science ; 9035

  11. Baier, Christel [Author] ; Haverkort, Boudewijn R. [Other]; Hermanns, Holger [Other]; Katoen, Joost-Pieter [Other]; Siegle, Markus [Other]

    Validation of Stochastic Systems : A Guide to Current Research

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

    Published in: Lecture notes in computer science ; 2925

  12. Baier, Christel [Author] ; Haverkort, Boudewijn R. [Other]; Hermanns, Holger [Other]; Katoen, Joost-Pieter [Other]; Siegle, Markus [Other]

    Validation of Stochastic Systems : A Guide to Current Research

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin; Heidelberg: Springer, 2004

    Published in: Lecture notes in computer science ; 292500

  19. Klein, Joachim [Author] ; Baier, Christel [Degree supervisor]; Steffen, Martin [Degree supervisor]

    Compositional Synthesis and Most General Controllers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2013

  20. Klüppelholz, Sascha [Author] ; Baier, Christel [Degree supervisor]; Arbab, Farhad [Degree supervisor]

    Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012