Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

Abstract

While DUS is a promising approach for fetal CMRI, correct trigger injection is critical. Our model checking method can reduce the number of wrongly injected triggers substantially, providing a key prerequisite for fast and artifact free CMRI.