Lars Beckers will present the paper
"Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy" by Lars Beckers, Stefan Gerlach, Ole Lübke and Sibylle Schupp in Cooperation with MTEC
during the MARS2024 workshop on 6th April 2024.
STS-News
MARS 2024
