Neural Circuit Synthesis from Specification Patterns - Schmitt, Frederik; Hahn, Christopher; Rabe, Markus N; Finkbeiner, Bernd (Advances in Neural Information Processing Systems, 2021)