Triggers for Reactive Synthesis Specifications

Amram, GalMa’ayan, DorMaoz, ShaharPistiner, OrRingert, Jan OliverRabiser, RickWimmer, ManuelGroher, IrisWortmann, AndreasWiesmayr, Bianca2024-02-192024-02-192024978-3-88579-737-1https://dl.gi.de/handle/20.500.12116/43608enTriggers for Reactive Synthesis SpecificationsText/Conference Paper10.18420/sw2024_81617-5468