Quantitative Timed Analysis of Interactive Markov Chains

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-28891-3_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Symbolic Quantitative Robustness Analysis of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Segregating Markov Chains

Journal of Theoretical Probability
MathematicsStatisticsUncertaintyProbability
2017English

On the Spectral Analysis of Second-Order Markov Chains

Annales de la faculté des sciences de Toulouse Mathématiques
2013English

Analysis of Signalling Pathways Using Continuous Time Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Communications of the ACM
Computer Science
2011English

Shepherding Hordes of Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Equivalence of Labeled Markov Chains

International Journal of Foundations of Computer Science
Computer Science
2008English

Appendix A. Markov Chains

Wiley Series in Probability and Statistics
English

Finite-State Markov Chains

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy