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

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2009-145
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Ruelle Operator for Continuous Time Markov Chains

Sao Paulo Journal of Mathematical Sciences
MathematicsStatisticsUncertaintyProbabilityComputational Theory
2010English

On a Simple Proof of Uniformization for Continuous and Discrete-State Continuous-Time Markov Chains

Advances in Applied Probability
Applied MathematicsStatisticsProbability
1990English

Analysis of Signalling Pathways Using Continuous Time Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

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

ICP Advanced Texts in Mathematics
2011English

Distributions of Reward Functions on Continuous-Time Markov Chains

2002English

Stability Estimates for Finite Homogeneous Continuous-Time Markov Chains

Theory of Probability and its Applications
UncertaintyStatisticsProbability
2006English

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

Mathematical Problems in Engineering
MathematicsEngineering
2010English

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

2007English

Nonlinear Bounded-Error State Estimation of Continuous-Time Systems

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy