Dynamic Update for Synthesized GR(1) Controllers. - Gal Amram; Shahar Maoz; Itai Segall; Matan Yossef (ICSE, 2022)