Maoz, ShaharRingert, Jan OliverKnoop, JensZdun, Uwe2017-06-212017-06-212016978-3-88579-646-6enGR(1) synthesis for LTL specification patternsText/Conference Paper1617-5468