Sascha Lehmann

According to our database, Sascha Lehmann authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Bounded DBM-based clock state construction for timed automata in Uppaal.

Sascha Lehmann, Sibylle Schupp

Int. J. Softw. Tools Technol. Transf., February, 2023

2022

Modeling R³ Needle Steering in Uppaal.

Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

2021

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles.

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

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

2020

Synthesizing Strategies for Needle Steering in Gelatin Phantoms.

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

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

2018

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

Sven-Thomas Antoni, Sascha Lehmann, Maximilian Neidhardt, Kai Fehrs, Christian Ruprecht, Fabian Kording, Gerhard Adam, Sibylle Schupp, Alexander Schlaefer

Int. J. Comput. Assist. Radiol. Surg., 2018

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification.

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

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018