Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.
Lars BeckersStefan GerlachOle LübkeAlexander SchlaeferSibylle SchuppPublished in: MARS@ETAPS (2024)
Keyphrases
- model checking
- scheduling problem
- radiation therapy
- temporal logic
- model checker
- automated verification
- temporal properties
- formal verification
- verification method
- np hard
- formal specification
- symbolic model checking
- computation tree logic
- treatment planning
- ct images
- bounded model checking
- transition systems
- image guided
- formal methods
- epistemic logic
- tabu search
- timed automata
- linear temporal logic
- imaging modalities
- prostate cancer
- normal tissue
- medical images
- reinforcement learning