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.
14.03.2024
Mars 2024 Paper
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
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 has been accepted for the MARS2024 workshop.