Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment.
Arooj NawazOsman HasanShaista JabeenPublished in: Neural Comput. (2023)
Keyphrases
- deep brain stimulation
- formal verification
- intraoperative
- model checking
- trajectory planning
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- subthalamic nucleus
- control system
- reinforcement learning
- control strategy
- temporal logic
- computer assisted
- image data
- disease progression
- x ray
- medical doctors