Reactive Synthesis modulo Theories

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Period18 Jul 2022
Held atIsaac Newton Institute for Mathematical Sciences, United Kingdom