STS-News

CURAC 2019

An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction

Sascha Lehmann presents the paper An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction at the 18th Annual Meeting of the German Society for Computer- and Robot-Assisted Surgery (CURAC 2019) in Reutlingen.