Exact reachability analysis for planning skew-line needle arrangements for automated brachytherapy.
Animesh GargTimmy SiauwGuang YangSachin PatilJ. Adam M. CunhaI-Chow HsuJean PouliotAlper AtamtürkKenneth Y. GoldbergPublished in: CASE (2014)
Keyphrases
- reachability analysis
- needle insertion
- soft tissue
- model checking
- markov decision processes
- incremental algorithms
- planning problems
- heuristic search
- state space
- timed automata
- search algorithm
- robot assisted
- medical images
- prostate brachytherapy
- image guided
- minimally invasive
- force feedback
- planning domains
- domain independent