TY  - RPRT
TI  - Heterogeneous Verification of an Autonomous Curiosity Rover
AU  - Rafael C. Cardoso
AU  - Marie Farrell
AU  - Matt Luckcuck
AU  - Angelo Ferrando
AU  - Michael Fisher
PY  - 2020
DO  - 10.1007/978-3-030-55754-6_20
UR  - https://arxiv.org/abs/2007.10045
ID  - 2007.10045
ER  -