@Inproceedings{EPTCS329.5, author = {Kachi, Fatma and Bouanaka, Chafia and Merkouche, Souheir}, year = {2020}, title = {A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems}, editor = {Luckcuck, Matt and Farrell, Marie}, booktitle = {{\rm Proceedings Second Workshop on} Formal Methods for Autonomous Systems, {\rm Virtual, 7th of December 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {329}, publisher = {Open Publishing Association}, pages = {48-64}, doi = {10.4204/EPTCS.329.5}, }