Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy.
Sven-Thomas AntoniJonas RinastXintao MaSibylle SchuppAlexander SchlaeferPublished in: Int. J. Comput. Assist. Radiol. Surg. (2016)
Keyphrases
- model checking
- motion tracking
- radiation therapy
- temporal logic
- respiratory motion
- motion analysis
- formal verification
- degrees of freedom
- verification method
- ct images
- organ motion
- deformable registration
- motion compensation
- body parts
- formal methods
- treatment planning
- prostate cancer
- patient specific
- image guided
- image processing
- deformable models
- markov random field