External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Dynamic Update for Synthesized GR(1) Controllers

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]

Authors

Gal Amram

This author has not been identified. Look up 'Gal Amram' in Google

Shahar Maoz

This author has not been identified. Look up 'Shahar Maoz' in Google

Itai Segall

This author has not been identified. Look up 'Itai Segall' in Google

Matan Yossef

This author has not been identified. Look up 'Matan Yossef' in Google
runs on