Name Card

Full name Familienname, Vorname
Könighofer, Bettina
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Koenighofer-2023-Formal Methods for Trusted AI-vor.pdf.jpgKönighofer, Bettina Formal Methods for Trusted AIInproceedings Konferenzbeitrag Oct-2023
2Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness PropertiesInproceedings Konferenzbeitrag 2023