Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems

Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh

Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and…