Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. (2014)

by A Filieri, H Hoffmann, M Maggio
Venue:Proc. 36th International Conference on Software Engineering,