The following publications are possibly variants of this publication:
- GR(1)*: GR(1) specifications extended with existential guaranteesGal Amram, Shahar Maoz, Or Pistiner. fac, 33(4):729-761, 2021. [doi]
- Symbolic repairs for GR(1) specificationsShahar Maoz, Jan Oliver Ringert, Rafi Shalom. ICSE 2019: 1016-1026 [doi]
- On well-separation of GR(1) specificationsShahar Maoz, Jan Oliver Ringert. FSE 2016: 362-372 [doi]
- Inherent vacuity for GR(1) specificationsShahar Maoz, Rafi Shalom. FSE 2020: 99-110 [doi]
- $GR(1)$ synthesis for LTL specification patternsShahar Maoz, Jan Oliver Ringert. se 2016: 103-104 [doi]
- GR(1) synthesis for LTL specification patternsShahar Maoz, Jan Oliver Ringert. FSE 2015: 96-106 [doi]
- A symbolic justice violations transition system for unrealizable GR(1) specificationsAviv Kuvent, Shahar Maoz, Jan Oliver Ringert. FSE 2017: 362-372 [doi]