A logic for reasoning about time and reliability

doi:10.1007/bf01211866

A logic for reasoning about time and reliability

1994-09-01

0

OA

AI

DOI：10.1007/bf01211866

原文链接

原文求助

摘要

En 中文

AbstractWe present a logic for stating properties such as, “after a request for service there is at least a 98% probability that the service will be carried out within 2 seconds”. The logic extends the temporal logic CTL by Emerson, Clarke and Sistla with time and probabilities. Formulas are interpreted over discrete time Markov chains. We give algorithms for checking that a given Markov chain satisfies a formula in the logic. The algorithms require a polynomial number of arithmetic operations, in size of both the formula and the Markov chain. A simple example is included to illustrate the algorithms.

A logic for reasoning about time and reliability

摘要

期刊

机构

引用论文