Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.
Bing LiuSoonho KongSicun GaoPaolo ZulianiEdmund M. ClarkePublished in: CoRR (2014)
Keyphrases
- reachability analysis
- cancer treatment
- model checking
- markov decision processes
- timed automata
- disease progression
- breast cancer
- incremental algorithms
- e learning
- user profiles
- radiation dose
- cancer diagnosis
- state space
- decision making
- early detection
- lung cancer
- prostate cancer
- clinical trials
- temporal logic
- cancer patients
- radiation therapy
- context aware
- np complete
- linear programming
- artificial intelligence
- acute myeloid