Search Results for author: Sibylle Schupp

Found 2 papers, 0 papers with code

Modeling R$^3$ Needle Steering in Uppaal

no code implementations18 Mar 2022 Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp

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 fatal) personal damage.

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles

no code implementations25 Oct 2021 Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp

Autonomous systems are often applied in uncertain environments, which require prospective action planning and retrospective data evaluation for future planning to ensure safe operation.

Cannot find the paper you are looking for? You can Submit a new open access paper.