57 citations
- Hamburg University of TechnologyDE4 papers
- Universität HamburgDE4 papers
- Dragomanov Ukrainian State UniversityUA2 papers
- Artificial Intelligence in Medicine (Canada)CA1 paper
- Bogolyubov Institute for Theoretical PhysicsUA1 paper
- Essen University HospitalDE1 paper
- G.V. Kurdyumov Institute for Metal PhysicsUA1 paper
- Holon Institute of TechnologyIL1 paper
- Institute of MathematicsPL1 paper
- Institute of PhysicsPL1 paper
- National Academy of Sciences of UkraineUA1 paper
- National Laboratory of the RockiesUS1 paper
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022★ 5 cited
Modeling R Needle Steering in Uppaal
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt +3
Medical cyber-physical systems are safety-critical, and as such, require ongoing verification of their correct behavior, as system failure during run time may cause severe (or even…
eess.SY2021★ 3 cited
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt +2
Autonomous systems are often applied in uncertain environments, which require prospective action planning and retrospective data evaluation for future planning to ensure safe opera…