Synthesizing dynamically updating controllers from changes in scenario-based specifications.

Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna

Browse the full ICSE paper archive.