View of Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction

Return to Article Details Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction Download Download PDF