Mustafa Adam, Elias E. Hartmark, Tage Andersen, David A. Anisi, Ana Cavalcanti: Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification. CASE 2024: 2511-2516