Probabilistic model checking and Markov decision processes (MDPs) form two interlinked branches of formal analysis for systems operating under uncertainty. These techniques offer a mathematical ...

Decision-Analytic Model and Cost-Effectiveness Evaluation of Postmastectomy Radiation Therapy in High-Risk Premenopausal Breast Cancer Patients. If you have the appropriate software installed, you can ...

First-in-Human Phase I, Dose-Escalation and -Expansion Study of Telisotuzumab Vedotin, an Antibody–Drug Conjugate Targeting c-Met, in Patients With Advanced Solid Tumors We constructed a Markov ...

We consider a class of discrete time, dynamic decision-making models which we refer to as Periodically Time-Inhomogeneous Markov Decision Processes (PTMDPs). In these models, the decision-making ...

A 2-step decision analytic model consisting of a decision tree-informed Markov structure was used to estimate lifetime outcomes in older patients with prostate cancer. The P-score reclassifies a ...