%0 Journal Article %1 journals/corr/abs-2403-18918 %A Beckers, Lars %A Gerlach, Stefan %A Lübke, Ole %A Schlaefer, Alexander %A Schupp, Sibylle %D 2024 %J CoRR %K dblp %T Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. %U http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-18918 %V abs/2403.18918

@article{journals/corr/abs-2403-18918, added-at = {2024-04-10T00:00:00.000+0200}, author = {Beckers, Lars and Gerlach, Stefan and Lübke, Ole and Schlaefer, Alexander and Schupp, Sibylle}, biburl = {https://www.bibsonomy.org/bibtex/229f350e71c854aa7a986d48c78887081/dblp}, ee = {https://doi.org/10.48550/arXiv.2403.18918}, interhash = {85bf09457ca528fe8bc209f4d0c4c2f3}, intrahash = {29f350e71c854aa7a986d48c78887081}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-12T14:39:15.000+0200}, title = {Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-18918}, volume = {abs/2403.18918}, year = 2024 }