Computing Publications

Publications Home » Temporal logic in a stochastic en...

Temporal logic in a stochastic environment

Ben Strulo, Dov Gabbay, Peter G. Harrison

Book Chapter
Time and logic: a computational approach
UCL Press Ltd.
ISBN 1-85728-233-7

Temporal logic has proved to be a useful tool for the specification of computer systems interacting with their environment. Meanwhile a common approach to the analysis of the performance of such systems has been based on stochastic process theory and in particular Markov chains. We describe an approach to modelling a temporal logic system in a random environment and how Markov chain techniques can be applied. We survey some other approaches.

PDF of full publication (208 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.