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

doi 10.1109/qest.2007.40
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Ruelle Operator for Continuous Time Markov Chains

Sao Paulo Journal of Mathematical Sciences
MathematicsStatisticsUncertaintyProbabilityComputational Theory
2010English

Stability Estimates for Finite Homogeneous Continuous-Time Markov Chains

Theory of Probability and its Applications
UncertaintyStatisticsProbability
2006English

Selected Topics on Continuous-Time Controlled Markov Chains and Markov Games

ICP Advanced Texts in Mathematics
2011English

Continuous Parameter Markov Chains

2008English

Uniqueness Criteria for Continuous-Time Markov Chains With General Transition Structures

Advances in Applied Probability
Applied MathematicsStatisticsProbability
2005English

Analysis of Signalling Pathways Using Continuous Time Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Distributions of Reward Functions on Continuous-Time Markov Chains

2002English

An Expectation Maximization Algorithm to Model Failure Times by Continuous-Time Markov Chains

Mathematical Problems in Engineering
MathematicsEngineering
2010English

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy