Systems that know what they are doing : A Model-Based Formal Specification for Robust Autonomy - Sanz Bravo, Ricardo (Director); Rossi, Claudio (Director) Doctorando: Aguado González, Esther (2024)