Medical treatment analysis using probabilistic model checking Online publication date: Sat, 27-Sep-2014
by Hichem Debbi; Mustapha Bourahla; Aimad Debbi
International Journal of Biomedical Engineering and Technology (IJBET), Vol. 12, No. 4, 2013
Abstract: Physicians and patients are always facing critical situations where they have alternative actions, and they have to choose the appropriate one in order to get the best outcome. Medical treatment decision is a highly complex process that involves health states, preferences, the offered options (actions) and the corresponding cost. The complexity of this process is due to the multiple treatment decision and the accompanying risk factors, as well as that these decisions are made under uncertainty. Markov Decision Processes (MDPs) are a mathematical framework for modelling dynamic systems under uncertainty. Its ability to define an optimal policy makes the MDPs as one of the most successful methods analysis in health care and medical treatment. With this growing importance, delivering frameworks for solving, visualising and cost-effective analysing of MDPs is highly required. In this paper, we address the use of probabilistic model checking as a comprehensive technique for modelling and analysing medical treatment problems.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Biomedical Engineering and Technology (IJBET):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook