List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2022 | On the connection of probabilistic model checking, planning, and learning for system verification | Klauck, Michaela | |
| article | 2022 | Analyzing neural network behavior through deep statistical model checking | Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Steinmetz, Marcel |
Welcome
| ORCID: |  https://orcid.org/0000-0002-6353-227X |
| Name: | Klauck, Michaela |
| Faculty: | MI - Fakultät für Mathematik und Informatik |
| Department: | MI - Informatik |
| Professorship: | MI - Prof. Dr. Holger Hermanns |
| Display style: |