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]
@inproceedings{AmramMSY22,
title = {Dynamic Update for Synthesized GR(1) Controllers},
author = {Gal Amram and Shahar Maoz and Itai Segall and Matan Yossef},
year = {2022},
doi = {10.1145/3510003.3510054},
url = {https://doi.org/10.1145/3510003.3510054},
researchr = {https://researchr.org/publication/AmramMSY22},
cites = {0},
citedby = {0},
pages = {786-797},
booktitle = {44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022},
publisher = {IEEE},
isbn = {978-1-4503-9221-1},
}