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.
MARS 2024
Institute for Software Systems
STS is an Institute of Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics.
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependencies of software systems with practical issues and applications
from both engineering and social sciences.