Assuring system goals under uncertainty with active formal models of self-adaptation.

M. Usman Iftikhar, Danny Weyns

Browse the full ICSE paper archive.