4 Einträge gefunden

1. 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
2. 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
3. An online model-checking framework for timed automata

   1. Rinast, Jonas

   2015 - TUHH Open Research - frei zugänglich
4. State space reconstruction for on-line model checking with UPPAAL

   1. Rinast, Jonas
   2. Schupp, Sibylle
   3. Gollmann, Dieter

   2013 - TUHH Open Research