Journal of Mathematical Analysis and Ap- plications179(1), 154–178 (1993)

Costa, O · 1993 · arXiv 1993.1341

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

representative citing papers

cs.LO · 2026-06-23 · unverdicted · novelty 5.0

Formalizes PCTL on MJLSs to specify and check moment-based stability properties for prescribed initial state sets using linear-algebraic techniques.

Showing 1 of 1 citing paper.

Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version) cs.LO · 2026-06-23 · unverdicted · none · ref 7
Formalizes PCTL on MJLSs to specify and check moment-based stability properties for prescribed initial state sets using linear-algebraic techniques.