Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management.
Sven-Thomas AntoniJonas RinastSibylle SchuppAlexander SchlaeferPublished in: Software Engineering (Workshops) (2015)
Keyphrases
- model checking
- model free
- motion prediction
- temporal logic
- reinforcement learning
- short term
- respiratory motion
- formal verification
- finite state
- function approximation
- motion estimation
- kalman filter
- verification method
- patient specific
- long term
- image reconstruction
- video coding
- ct images
- motion compensation
- image sequences
- phase correlation
- video sequences
- state space
- motion vectors
- linear combination