Goal Controller Synthesis for Self-Adaptive Systems

Radu Calinescu, Genaína Nunes Rodrigues

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFormaliSE International Conference on Formal Methods in Software Engineering
Publication statusAccepted/In press - 22 Feb 2023

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Cite this