Summary
ESR7 Model-based probabilistic testing for system-level safety of underwater visioncontrolled robot
More information & hyperlinks