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
- pp.229–247
- 1995
- UCL Press Ltd.
- ISBN 1-85728-233-7
- Abstract
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.
- Keywords
- AESOP
PDF of full publication (208 kilobytes)- (need help viewing PDF files?)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.