Sven-Thomas Antoni, Jonas Rinast, Xintao Ma, Sibylle Schupp, Alexander Schlaefer. Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. Int. J. Computer Assisted Radiology and Surgery, 11(11):2085-2096, 2016. [doi]
Abstract is missing.