Goal Controller Synthesis for Self-Adaptive Systems

Calinescu, Radu orcid.org/0000-0002-2678-9260 and Nunes Rodrigues, Genaína (2023) Goal Controller Synthesis for Self-Adaptive Systems. In: FormaliSE International Conference on Formal Methods in Software Engineering. FME Workshop on Formal Methods in Software Engineering. IEEE.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

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
Dates:
  • Accepted: 22 February 2023
  • Published: 30 June 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/V026747/1
Date Deposited: 12 Apr 2023 07:50
Last Modified: 18 Dec 2025 00:11
Published Version: https://doi.org/10.1109/FormaliSE58978.2023.00008
Status: Published
Publisher: IEEE
Series Name: FME Workshop on Formal Methods in Software Engineering
Identification Number: 10.1109/FormaliSE58978.2023.00008
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: FormaliSE_2023_Camera_ready.pdf

Description: FormaliSE_2023_Camera_ready

CLICK TO DOWNLOAD [thumbnail of FormaliSE_2023_Camera_ready]

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)