Login / Signup
Lars Beckers
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checking
Verification Method
Timed Automata
Radiation Therapy
Top Venues
MARS@ETAPS
</>
Publications
</>
Lars Beckers
,
Stefan Gerlach
,
Ole Lübke
,
Alexander Schlaefer
,
Sibylle Schupp
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.
MARS@ETAPS
(2024)