Formal specification and verification of autonomous robotic systems: A survey

Matt Luckcuck, M. Farrell, L.A. Dennis, C. Dixon, M. Fisher

Formal Methods

Research output: Contribution to journal › Article › peer-review

1 results

Finished
Robotics and Artificial Intelligence for Nuclear (RAIN)
Lennox, B. (PI), Arvin, F. (CoI), Brown, G. (CoI), Carrasco Gomez, J. (CoI), Da Via, C. (CoI), Furber, S. (CoI), Luján, M. (CoI), Watson, S. (CoI), Watts, S. (CoI) & Weightman, A. (CoI)
2/10/17 → 31/03/22
Project: Research