9 Einträge gefunden

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

   1. Lehmann, Sascha
   2. 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. 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
4. 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
5. 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
6. 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
7. 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
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. 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