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