3 Einträge gefunden

1. 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
2. Spatio-temporal deep learning models for tip force estimation during needle insertion

   1. Gessert, Nils Thorben
   2. Priegnitz, Torben
   3. Saathoff, Thore
   4. Antoni, Sven-Thomas
   5. Meyer, David
   6. Hamann, Moritz Franz
   7. Jünemann, Klaus Peter

   2019 - TUHH Open Research
3. 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