Position:
Research Assistant

Phone:
4372

Room:
4.043

Email: s.lehmann@tuhh.de

Research interests

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

Publications

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)

https://doi.org/10.4204/EPTCS.316.10

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)

https://doi.org/10.1007/978-3-030-23703-5_9

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)

https://doi.org/10.1007/s11548-018-1832-5