Dynamic Update for Synthesized GR(1) Controllers.

Gal Amram Shahar Maoz Itai Segall Matan Yossef

Published in: ICSE (2022)

Keyphrases

dynamically updated
real time
dynamic environments
dynamically changing
data sets
data structure
control system