Activities per year
- 2 results
Search results
-
Reactive Synthesis modulo Theories
Benedikt Maderbacher (Speaker)
18 Jul 2022Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Reactive Synthesis Modulo Theories using Abstraction Refinement
Benedikt Maderbacher (Speaker)
21 Oct 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science