# Model Checking Timed and Stochastic Properties with CSLTA

## Related Articles

- An EM Algorithm for Batch Markovian Arrival Processes and its Comparison to a Simpler Estimation Procedure. Breuer, Lothar // Annals of Operations Research;Apr2002, Vol. 112 Issue 1-4, p123
Although the concept of Batch Markovian Arrival Processes (BMAPs) has gained widespread use in stochastic modelling of communication systems and other application areas, there are few statistical methods of parameter estimation proposed yet. However, in order to practically use BMAPs for...

- The critical discount factor for finite Markovian decision processes with an absorbing set. Hinderer, K.; Waldmann, K.-H. // Mathematical Methods of Operations Research;2003, Vol. 57 Issue 1, p1
This paper deals with a Markovian decision process with an absorbing set J[sub 0] . We are interested in the largest number Î²[sup *] â‰¥1, called the critical discount factor, such that for all discount factors Î² smaller than Î²[sup *] the limit V of the N-stage value function V[sub...

- Asymptotic expansions in limit theorems for stochastic processes. I. Wentzell, A. D. // Probability Theory & Related Fields;1996, Vol. 106 Issue 3, p331
Summary. For some families of locally infinitely divisible Markov processes Î·[sup Îµ] (t), 0â‰¦ tâ‰¦ T, with frequent small jumps, limit theorems for expectations of functionals F(Î·[sup Îµ] [0,T]) are proved of the form .| E[sup Îµ] F(Î·[sup Îµ] [0,T])-E[sup 0] F(Î·[sup...

- Multiplicative stochastic processes involving the time derivative of a Markov process. Arnoldus, Henk F.; George, Thomas F. // Journal of Mathematical Physics;Feb87, Vol. 28 Issue 2, p340
The characteristic functional of the derivative[lowercase_phi_synonym](t) of a Markov process [lowercase_phi_synonym](t) and the related multiplicative process Ïƒ(t), which obeys the stochastic differential equation iÏƒ(t)=(A+[lowercase_phi_synonym](t)B)Ïƒ(t), have been studied. Exact...

- The fundamental matrix of singularly perturbed Markov chains. Avrachenkov, Konstantine E.; Lasserre, Jean B. // Advances in Applied Probability;Sep99, Vol. 31 Issue 3, p679
Provides a complete characterization of the fundamental matrix of a singularly perturbed Markov chain. Presentation of a simpler formula for the mathematical procedure; Comparison of the technique with previous methodologies used; Examples of the application of the procedure.

- Optimal Control of a Truncated General Immigration Process Through Total Catastrophes. Kyriakidis, E.G. // Journal of Applied Probability;Jun99, Vol. 36 Issue 2, p461
Focuses on a study which considered a Markov decision model for the control of a truncated general immigration process. Optimality of control-limit policies; Computation of the optimal policy; Control through binomial catastrophes.

- OUTPUT ANALYSIS OF A SINGLE-BUFFER MULTICLASS QUEUE: FCFS SERVICE. Kulkarni, V.G.; Glazebrook, K. D. // Journal of Applied Probability;Jun2002, Vol. 39 Issue 2, p341
Presents a study which considered an infinite capacity buffer where the incoming fluid traffic belongs to different types modulated by independent Markovian on-off processes. Output analysis; Expected reward in a fluid model; Computations.

- LOCALLY CONTRACTING ITERATED FUNCTIONS AND STABILITY OF MARKOV CHAINS. Jarner, S. F.; Tweedie, R. L. // Journal of Applied Probability;Jun2001, Vol. 38 Issue 2, p494
Presents a study which considered the Markov chains in the context of iterated random functions and showed the existence and uniqueness of an invariant distribution under a local contraction condition. Results; Discussion on the proof of existence and uniqueness of an invariant distribution for...

- WAITINING TIMES FOR PATTERNS IN A SEQUENCE OF MULTISTATE TRIALS. Antzoulakos, Demetrios L. // Journal of Applied Probability;Jun2001, Vol. 38 Issue 2, p508
Presents a study which developed a variation of the finite Markov chain embedding method for the derivation of waiting times for patterns in a sequence of multistate trials. Discussion on the time-homogeneous Markov chain defined on a finite state space Omega; Details on the concept of a Markov...