Symbolic BDD and ADD Algorithms for Energy Games. - Shahar Maoz; Or Pistiner; Jan Oliver Ringert (SYNT@CAV, 2016)

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. - Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (CoRR, 2020)

Efficient Algorithms for Omega-Regular Energy Games. - Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (FM, 2021)

GR(1)*: GR(1) specifications extended with existential guarantees. - Gal Amram; Shahar Maoz; Or Pistiner (Formal Aspects Comput., 2021)

Triggers for Reactive Synthesis Specifications. - Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (Software Engineering, 2024)