Efficient Reactive Synthesis Using Mode Decomposition | Publicación