 | Up a level |
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.
Stocker, Richard
Towards the formal verification of human-agent-robot teamwork.
Doctor of Philosophy thesis, University of Liverpool.
Stocker, Richard, Mumtaz, Asim ORCID: 0000-0002-8982-5206, Paramjeet, , Braglia, Michele and Lophitis, Neophytos
(2020)
Universal Li-Ion Cell Electro-Thermal Model.
IEEE Transactions on Transportation Electrification, 7 (1).
p. 1.