Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef. Dynamic Update for Synthesized GR(1) Controllers. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. pages 786-797, IEEE, 2022. [doi]
No reviews for this publication, yet.