학술논문
Dynamic Update for Synthesized GR(1) Controllers
Document Type
Conference Paper
Author
Source
In: Proceedings - International Conference on Software Engineering , Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. (Proceedings - International Conference on Software Engineering, 2022, 2022-May:786-797)
Subject
Language
English
ISSN
02705257