5 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
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…