Kai Fehrs

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Magnetic Resonance Imaging

Formal Specification

Alternating Time Temporal Logic

Top Venues

Int. J. Comput. Assist. Radiol. Surg.

Publications

Sven-Thomas Antoni, Sascha Lehmann, Maximilian Neidhardt, Kai Fehrs, Christian Ruprecht, Fabian Kording, Gerhard Adam, Sibylle Schupp, Alexander Schlaefer
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI. Int. J. Comput. Assist. Radiol. Surg. 13 (11) (2018)