TY  - RPRT
TI  - Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
AU  - Lars Beckers
AU  - Stefan Gerlach
AU  - Ole Lübke
AU  - Alexander Schlaefer
AU  - Sibylle Schupp
PY  - 2024
DO  - 10.4204/eptcs.399.9
UR  - https://arxiv.org/abs/2403.18918
ID  - 2403.18918
ER  -