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 ...

We discuss a class of chain graph models for categorical variables defined by what we call a multivariate regression chain graph Markov property. First, the set of local independencies of these models ...

In a recent study published in the EClinicalMedicine, a group of researchers developed and validated a Chronic Obstructive Pulmonary Disease (COPD) (a progressive lung condition that causes breathing ...

We study the problem of how to design a sparse flexible process structure in a balanced and symmetrical production system to match supply with random demand more effectively. Our goal is to provide a ...