research
∙
03/18/2022
Modeling R^3 Needle Steering in Uppaal
Medical cyber-physical systems are safety-critical, and as such, require...
share
research
∙
10/25/2021
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
Autonomous systems are often applied in uncertain environments, which re...
research
∙
04/28/2020
