An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
The paper "An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction" by Sven-Thomas Antoni, Sascha Lehmann, Sibylle Schupp and Alexander Schlaefer has been accepted at the CURAC Annual Conference 2019 in Reutlingen.
