Activities per year
Activities
- 5 results
Search results
-
Reactive Synthesis of Cyber-Physical Systems
Benedikt Maderbacher (Speaker)
11 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Sorbonne University
Benedikt Maderbacher (Visitor)
22 Apr 2023 → 27 Apr 2023Activity: Visiting an external academic institution › Research at external institution
-
Reactive Synthesis Modulo Theories using Abstraction Refinement
Benedikt Maderbacher (Speaker)
21 Oct 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Reactive Synthesis modulo Theories
Benedikt Maderbacher (Speaker)
18 Jul 2022Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Placement of Runtime Checks to Counteract Fault Injections
Benedikt Maderbacher (Speaker)
7 Oct 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science