Using probabilistic temporal logic PCTL and model checking for context prediction

Ameyed, Darine, Miraoui, Moeiz, Zaguia, Atef, Jaafar, Fehmi and Tadj, Chakib. 2018. « Using probabilistic temporal logic PCTL and model checking for context prediction ». Computing and Informatics, vol. 37, nº 6. pp. 1411-1442.
Compte des citations dans Scopus : 1.

The full text of this document is not available here.

Rechercher dans Google Scholar

Official URL: https://doi.org/10.4149/cai_2018_6_1411

Item Type:	Peer reviewed article published in a journal
Professor:	Professor Tadj, Chakib
Affiliation:	Génie électrique
Date Deposited:	29 Mar 2019 18:06
Last Modified:	29 Mar 2019 18:06
URI:	https://espace2.etsmtl.ca/id/eprint/18349

Actions (login required)

View Item