Triggers for Reactive Synthesis Specifications

Amram, Gal; Ma’ayan, Dor; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver (2024): Triggers for Reactive Synthesis Specifications. Software Engineering 2024 (SE 2024). DOI: 10.18420/sw2024_8. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-737-1. pp. 41-42. Modelling. Linz, Österreich. 26. Februar-1. März 2024