Counter Example Guided Reactive Synthesis for LTL Modulo Theories* | Publicación