Name Card

Full name Familienname, Vorname
Maderbacher, Benedikt
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Maderbacher, 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
2Maderbacher-2022-Reactive Synthesis Modulo Theories using Abstraction Ref...-vor.pdf.jpgMaderbacher, Benedikt ; Bloem, Roderick Reactive Synthesis Modulo Theories using Abstraction RefinementInproceedings Konferenzbeitrag Oct-2022