Autor/in Rinast, Jonas Schupp, Sibylle 3 Antoni, Sven-Thomas 2 Schlaefer, Alexander 2 Gollmann, Dieter 1 Ma, Xintao 1 alle zeigenListe einklappen
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy Antoni, Sven-Thomas Rinast, Jonas Ma, Xintao Schupp, Sibylle Schlaefer, Alexander 2016 - TUHH Open Research
An online model-checking framework for timed automata Rinast, Jonas 2015 - TUHH Open Research - frei zugänglich
Comparing model-free motion prediction and on-line model checking for respiratory motion management Antoni, Sven-Thomas Rinast, Jonas Schupp, Sibylle Schlaefer, Alexander 2015 - TUHH Open Research
State space reconstruction for on-line model checking with UPPAAL Rinast, Jonas Schupp, Sibylle Gollmann, Dieter 2013 - TUHH Open Research