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

This paper extends the dynamically formulated hidden Markov models to a high-order hidden Markov model (HO-HMM) formulation. In the HO-HMM, the Markovian assumption that the future states (interpreted ...

Modern scientific studies often require the identification of a subset of explanatory variables. Several statistical methods have been developed to automate this task, and the framework of knockoffs ...