@misc{indiciae8406c597f376,
  title = {Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy},
  author = {Lars Beckers and Stefan Gerlach and Ole Lübke and Alexander Schlaefer and Sibylle Schupp},
  year = {2024},
  doi = {10.4204/eptcs.399.9},
  url = {https://arxiv.org/abs/2403.18918},
  note = {Source identifier: 2403.18918}
}