Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models

Jean Leneutre, Vadim Malvone, James Ortiz

In this paper, we propose a novel formalism called Probabilistic Obstruction Temporal Logic (POTL), which extends Obstruction Logic (OL) by incorporating probabilistic elements. PO…