| back to Model Checking of Automated Needle Steering |

Feedback loop for strategy synthesis: needle motion instruction, based on image recording and image analysis on the one hand, the specification of different safe strategies (in form of a Uppaal model) on the other hand