| back to Model Checking of Automated Needle Steering |
Components of the strategy synthesizer and their dependencies, including the Uppaal model and verifyta interfaces