73 search results - page 4 / 15 » Model Checking Action- and State-Labelled Markov Chains |
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
107
click to vote
DMIN
2009
14 years 7 months ago
2009
Typical methods in CRM marketing include action selection on the basis of Markov Decision Processes with fixed transition probabilities on the one hand, and scoring customers separ...
102
Voted
IRI
2008
IEEE
15 years 3 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
110
click to vote
SCP
2000
14 years 9 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
68
Voted
ENTCS
2008
14 years 9 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.