Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer. Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. In Wolf Zimmermann, Wolfgang Böhm 0002, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón-y-Widemann, Thorsten Weyer, editors, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. Volume 1337 of CEUR Workshop Proceedings, pages 15-18, CEUR-WS.org, 2015. [doi]
Abstract is missing.