Context-Aware Temporal Logic for Probabilistic Systems

Mahmoud Elfar, Yu Wang, Miroslav Pajic

In this paper, we introduce the context-aware probabilistic temporal logic (CAPTL) that provides an intuitive way to formalize system requirements by a set of PCTL objectives with…