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