Sascha Lehmann


Research Assistant



Email: s.lehmann(at)tuhh(dot)de



Research interests

  • Online model checking
  • Formal verification of safety-critical cyber-physical systems
  • Model checking in medical applications





Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Schlaefer, Alexander; Schupp, Sibylle

Strategy Synthesis for Safe and Optimized Online Control of Steerable Needles

Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)


Rogalla, Antje; Lehmann, Sascha; Neidhardt, Maximilian; Sprenger, Johanna; Bengs, Marcel; Schlaefer, Alexander; Schupp, Sibylle

Synthesizing strategies for needle steering in gelatin phantoms

Workshop on Models for Formal Analysis of Real Systems (MARS 2020)


Antoni, Sven-Thomas; Lehmann, Sascha; Schupp, Sibylle; Schlaefer, Alexander

An online model checking approach to soft-tissue detection for rupture

CURAC 2019 - Tagungsband : 18. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie e.V. ; 19.-21. September 

2019, Reutlingen, p.83-88 (2019)


Lehmann, Sascha; Antoni, Sven-Thomas; Schlaefer, Alexander; Schupp, Sibylle

A quantitative metric temporal logic for execution-time constrained verification

Lecture Notes in Computer Science (11615 LNCS): p.170-189 (2019)


Antoni, Sven-Thomas; Lehmann, Sascha; Neidhardt, Maximilian; Fehrs, Kai; 

Ruprecht, Christian; Kording, Fabian; Adam, Gerhard; Schupp, Sibylle; Schlaefer, Alexander

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

International Journal of Computer Assisted Radiology and Surgery 11 (13): p.1755-1766 (2018-11-01)