| back to Model Checking of Automated Needle Steering |
Controlled needle steering: actual physical parameters of the needle and obstacles in space
Actual control parameters and control messages