12 Einträge gefunden

1. Position Data of Offline Needle Steering

   1. Neidhardt, Maximilian
   2. Reinecke, Anton
   3. Rogalla, Antje
   4. Lehmann, Sascha
   5. Sprenger, Johanna
   6. Schlaefer, Alexander
   7. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
2. Modeling ℝ³ needle steering in Uppaal

   1. Lehmann, Sascha
   2. Rogalla, Antje
   3. Neidhardt, Maximilian
   4. Reinecke, Anton
   5. Schlaefer, Alexander
   6. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
3. Online strategy synthesis for safe and optimized control of steerable needles

   1. Lehmann, Sascha
   2. Rogalla, Antje
   3. Neidhardt, Maximilian
   4. Schlaefer, Alexander
   5. Schupp, Sibylle

   2021 - TUHH Open Research - frei zugänglich
4. Synthesizing strategies for needle steering in gelatin phantoms

   1. Rogalla, Antje
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Sprenger, Johanna
   5. Bengs, Marcel
   6. Schlaefer, Alexander
   7. Schupp, Sibylle

   2020 - TUHH Open Research
5. An online model checking approach to soft-tissue detection for rupture

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Schupp, Sibylle
   4. Schlaefer, Alexander

   2019 - TUHH Open Research
6. A quantitative metric temporal logic for execution-time constrained verification

   1. Lehmann, Sascha
   2. Antoni, Sven-Thomas
   3. Schlaefer, Alexander
   4. Schupp, Sibylle

   2019 - TUHH Open Research
7. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - TUHH Open Research
8. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - Forschungsinformationssystem des UKE
9. Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

   1. Padberg, Julia
   2. Schlaefer, Alexander
   3. Schupp, Sibylle

   2018 - TUHH Open Research - frei zugänglich
10. Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy

    1. Antoni, Sven-Thomas
    2. Rinast, Jonas
    3. Ma, Xintao
    4. Schupp, Sibylle
    5. Schlaefer, Alexander

    2016 - TUHH Open Research
11. Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts

    1. Antoni, Sven-Thomas
    2. Ma, Xintao
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2016 - TUHH Open Research
12. Comparing model-free motion prediction and on-line model checking for respiratory motion management

    1. Antoni, Sven-Thomas
    2. Rinast, Jonas
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2015 - TUHH Open Research