Daphne-AT [1] — diagnosis

Fault in BioSim → Daphne-AT diagnosis with operator approvals → PRIDE procedure → robot inspection and repair → telemetry back to nominal
Qualitative only: two scenarios (IVA, EVA) walk-through with the operator in the loop
RQ1 How it works?→ demonstrated
RQ2 Operator approvals removed? → Observed qualitatively
RQ3 Alternative diagnosis method?→ Also demonstrated, but further analysis required