Robotic digital twin: offline verification with SLX CellProof

· Dev.to