Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. - Lars Beckers; Stefan Gerlach; Ole Lübke; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2024)