Automated design of self-adaptive software with control-theoretical formal guarantees.

Antonio Filieri, Henry Hoffmann, Martina Maggio

Browse the full ICSE paper archive.