Up a level |
Number of items: 1.
Webster, Matt ORCID: 0000-0002-8817-6881, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Stocker, Richard and Sierhuis, Maarten
(2020)
Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations.
In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.