An Intraoperative Glucose Control Benchmark for Formal Verification.
Sanjian ChenMatthew O'KellyJames WeimerOleg SokolskyInsup LeePublished in: ADHS (2015)
Keyphrases
- formal verification
- intraoperative
- model checking
- computer assisted
- x ray
- automated verification
- minimally invasive
- symbolic model checking
- image guided surgery
- computer assisted surgery
- brain shift
- bounded model checking
- surgical planning
- control system
- image guided
- ct data
- control algorithm
- minimally invasive surgery
- model checker
- pre operative
- biomechanical model
- brain surface
- patient data
- real time