Ameyed, D. (2019) “Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction”, Computing and Informatics, 37(6), pp. 1411–1442. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/2018_6_1411 (Accessed: 23 November 2024).