A Probabilistic Variant of Projection Temporal Logic

Details A Probabilistic Variant of Projection Temporal Logic A Probabilistic Variant of Projection Temporal Logic

2011-01-07

arxiv.org/abs/1101.1379v1

Computer Science

Logic in Computer Science

Scientific paper

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 formulas are derived and some logic laws are given. Further, we define Time Normal Form (TNF) for PrPTL as the standard form and prove that any PrPTL formulas can be rewritten to TNF. According to the TNF, we construct the time normal form graph which can be used for the probabilistic model checking on PrPTL.

Affiliated with

Also associated with

No associations

Rating

A Probabilistic Variant of Projection Temporal Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Probabilistic Variant of Projection Temporal Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Probabilistic Variant of Projection Temporal Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-483674