Goal Controller Synthesis for Self-Adaptive Systems

Radu Calinescu; Genaína Nunes Rodrigues

Goal Controller Synthesis for Self-Adaptive Systems

Radu Calinescu, Genaína Nunes Rodrigues

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	FormaliSE International Conference on Formal Methods in Software Engineering
Publisher	IEEE
Publication status	Accepted/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

Access to Document

FormaliSE_2023_Camera_ready
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
Accepted author manuscript, 424 KB

UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R., Arvind, T., Cavalcanti, A. L. C., Habli, I., Thomas, A. P. & Wilson, J. C.
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research

Cite this

@inproceedings{7484c4c9c50e4ad7a34c66d90b0a5cb5,

title = "Goal Controller Synthesis for Self-Adaptive Systems",

author = "Radu Calinescu and {Nunes Rodrigues}, Gena{\'i}na",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details ",

year = "2023",

month = feb,

day = "22",

language = "English",

booktitle = "FormaliSE International Conference on Formal Methods in Software Engineering",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - Goal Controller Synthesis for Self-Adaptive Systems

AU - Calinescu, Radu

AU - Nunes Rodrigues, Genaína

N1 - 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

PY - 2023/2/22

Y1 - 2023/2/22

M3 - Conference contribution

BT - FormaliSE International Conference on Formal Methods in Software Engineering

PB - IEEE

ER -

Goal Controller Synthesis for Self-Adaptive Systems

Bibliographical note

Access to Document

Projects

UKRI Trustworthy Autonomous Systems Node in Resilience

Cite this