5 citations · 9 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011
A Probabilistic Variant of Projection Temporal Logic
Xiaoxiao Yang
In this paper, we propose Probabilistic discrete-time Projection Temporal Logic (PrPTL), which extends Projection Temporal Logic (PTL) with probability. To this end, some useful fo…
cs.LO2010
Probabilistic Model Checking for Propositional Projection Temporal Logic
Xiaoxiao Yang
Propositional Projection Temporal Logic (PPTL) is a useful formalism for reasoning about period of time in hardware and software systems and can handle both sequential and parallel…