Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI.
Sven-Thomas AntoniSascha LehmannMaximilian NeidhardtKai FehrsChristian RuprechtFabian KordingGerhard AdamSibylle SchuppAlexander SchlaeferPublished in: Int. J. Comput. Assist. Radiol. Surg. (2018)
Keyphrases
- model checking
- temporal logic
- ultrasound guided
- formal verification
- temporal properties
- symbolic model checking
- model checker
- formal specification
- heart rate
- automated verification
- computation tree logic
- transition systems
- formal methods
- magnetic resonance images
- magnetic resonance imaging
- epistemic logic
- bounded model checking
- real time
- verification method
- ultrasound images
- medical imaging
- medical images
- alternating time temporal logic
- image processing