Verification and Validation of an Autonomous Warehouse Inspection Robot

This dissertation explores a corroborative assurance workflow for autonomous warehouse inspection robots. The focus is on combining high-fidelity simulation with formal probabilistic verification to evaluate both functional performance and safety-critical behaviour.

The project integrates simulation-driven testing with model checking to cross-validate findings and identify failure modes that can be difficult to expose with only one verification approach. The dissertation received a first-class mark, and the full document is included below.