CSL^TA: an Expressive Logic for Continuous-Time Markov Chains

Abstract

The stochastic temporal logic CSL can be used to describe formally properties of continuous-time Markov chains, and has been extended with expressions over states and actions to obtain the logic asCSL. However, properties referring to the probability of a finite sequence of timed events (such as "with probability at least 0.75, the system will be in state… (More)
DOI: 10.1109/QEST.2007.40

Topics

3 Figures and Tables

Slides referencing similar topics