Predictive maintenance for critical infrastructure. - Ariel Gorenstein; Meir Kalech (Expert Syst. Appl., 2022)

Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. - Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert (ICSE, 2024)