109 search results - page 1 / 22 » A temporal logic for Markov chains |
TACAS
2000
Springer
13 years 8 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
ICMCS
2005
IEEE
13 years 10 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...