Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel. Adapting Specifications for Reactive Controllers. In 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023, Melbourne, Australia, May 15-16, 2023. pages 1-12, IEEE, 2023. [doi]
Abstract is missing.