PhD in Coupled Reactive Synthesis Modulo Theories The overall goal of the project is to develop scalable algorithmsfor reactive synthesis modulo theories by coupling automata-theoreticgame solving with on-demand theory reasoning. Aumente sus posibilidades de llegar a