Aktivitäten pro Jahr
Aktivitäten
- 5 Ergebnisse
Suchergebnisse
-
Sorbonne Université
Benedikt Maderbacher (Gast)
22 Apr. 2023 → 27 Apr. 2023Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
Reactive Synthesis of Cyber-Physical Systems
Benedikt Maderbacher (Redner/in)
11 Sept. 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Reactive Synthesis modulo Theories
Benedikt Maderbacher (Redner/in)
18 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Reactive Synthesis Modulo Theories using Abstraction Refinement
Benedikt Maderbacher (Redner/in)
21 Okt. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Placement of Runtime Checks to Counteract Fault Injections
Benedikt Maderbacher (Redner/in)
7 Okt. 2020Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science