Goal Controller Synthesis for Self-Adaptive Systems

Radu Calinescu; Genaína Nunes Rodrigues

doi:10.1109/FormaliSE58978.2023.00008

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
Number of pages	6
ISBN (Electronic)	979-8-3503-1263-8
ISBN (Print)	979-8-3503-1264-5
DOIs	https://doi.org/10.1109/FormaliSE58978.2023.00008
Publication status	Published - 30 Jun 2023

Publication series

Name	FME Workshop on Formal Methods in Software Engineering
Publisher	IEEE
ISSN (Print)	2380-873X
ISSN (Electronic)	2575-5099

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

10.1109/FormaliSE58978.2023.00008

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. C. (Principal investigator), CAVALCANTI, A. L. C. (Co-investigator), HABLI, I. (Co-investigator), THIRUVALLORE THATTAI, A. (Co-investigator), THOMAS, A. (Co-investigator) & Wilson, J. C. (Co-investigator)
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 = jun,

day = "30",

doi = "10.1109/FormaliSE58978.2023.00008",

language = "English",

isbn = "979-8-3503-1264-5",

series = "FME Workshop on Formal Methods in Software Engineering",

publisher = "IEEE",

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

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/6/30

Y1 - 2023/6/30

U2 - 10.1109/FormaliSE58978.2023.00008

DO - 10.1109/FormaliSE58978.2023.00008

M3 - Conference contribution

SN - 979-8-3503-1264-5

T3 - FME Workshop on Formal Methods in Software Engineering

BT - FormaliSE International Conference on Formal Methods in Software Engineering

PB - IEEE

ER -

Goal Controller Synthesis for Self-Adaptive Systems

Publication series

Bibliographical note

Access to Document

Projects

UKRI Trustworthy Autonomous Systems Node in Resilience

Cite this