Using probabilistic temporal logic PCTL and model checking for context prediction

Context prediction is a promoting research topic with a lot [...]