[1]
Ameyed, D., Miraoui, M., Zaguia, A., Jaafar, F. and Tadj, C. 2019. Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. COMPUTING AND INFORMATICS. 37, 6 (Feb. 2019), 1411–1442.