NTHRYS › PhD Assistance › Ai Surgical Robotics

Ai Surgical Robotics

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Method Research

Research examines mathematically proving properties of surgical robot software. Formal proof offers assurance that testing alone cannot provide.