Paper accepted at VSTTE’22

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