Paper accepted at VSTTE’22 We are pleased to announce that our paper about compositional safety LTL synthesis has been accepted at VSTTE’22.