Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery.

Caroline Essert-Villard, Claire Baegert, Pascal Schreck

Browse the full IC3K paper archive.