TITLE     : Formal modelling and analysis of a self-adaptive robotic system
AUTHOR(S) : Päßler J, Ter Beek Mh, Damiani F, Tapia Tarifa Sl, Johnsen Eb
TYPE      : Conference article
YEAR      : 2023
CODE      : 488495

*** DO NOT EDIT THIS FILE ***