TY  - RPRT
TI  - Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems
AU  - Yehia Elrakaiby
AU  - Paola Spoletini
AU  - Bashar Nuseibeh
PY  - 2020
UR  - https://arxiv.org/abs/2001.08525
ID  - 2001.08525
ER  -