Goal Controller Synthesis for Self-Adaptive Systems

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

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
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
Depositing User: Pure (York)
Date Deposited: 12 Apr 2023 07:50
Last Modified: 17 Sep 2025 04:45
Status: In Press
Publisher: IEEE
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


CORE (COnnecting REpositories)