a probabilistic variant of projection temporal logic

CORC > 软件研究所 > 软件所图书馆 > 会议论文

	a probabilistic variant of projection temporal logic
	Yang Xiaoxiao
	2012
会议名称	Recent Advances in Computer Science and Information Engineering Volume 3
会议日期	June 17, 2011 - June 19, 2011
会议地点	Changchun, China
关键词	Computer science Model checking
页码	665-670
中文摘要	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.
英文摘要	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.
收录类别	SPRINGER ; EI
会议录	Recent Advances in Computer Science and Information Engineering
语种	英语
ISSN号	1876-1100
ISBN号	978-3-642-25766-7
内容类型	会议论文
源URL	[http://ir.iscas.ac.cn/handle/311060/15735]
专题	软件研究所_软件所图书馆_会议论文
推荐引用方式 GB/T 7714	Yang Xiaoxiao. a probabilistic variant of projection temporal logic[C]. 见:Recent Advances in Computer Science and Information Engineering Volume 3. Changchun, China. June 17, 2011 - June 19, 2011.