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

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:
FunderGrant number
EPSRCEP/V026747/1
Depositing User: Pure (York)
Date Deposited: 12 Apr 2023 07:50
Last Modified: 06 Dec 2023 10:16
Status: In Press
Publisher: IEEE
Refereed: No

Download

Accepted Version

Filename: FormaliSE_2023_Camera_ready.pdf

Description: FormaliSE_2023_Camera_ready

CLICK TO DOWNLOAD [img]

Export

Statistics


CORE (COnnecting REpositories)