Login / Signup
Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification.
Luca Brunese
Francesco Mercaldo
Alfonso Reginelli
Antonella Santone
Published in:
IEEE Access (2019)
Keyphrases
</>
formal verification
cancer treatment
prostate cancer
radiation therapy
model checking
automated verification
symbolic model checking
automatic detection
decision support
model checker
bounded model checking
databases
deformable registration
support vector
ct images
mri segmentation