Finite horizon analysis of Markov Chains with the MurΦ verifier

Author： Penna Giuseppe   Intrigila Benedetto   Melatti Igor   Tronci Enrico   Zilli Marisa  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.4-5, 2006-08, pp. : 397-409

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

The Kemeny Constant for Finite Homogeneous Ergodic Markov Chains

By Catral M.   Kirkland S.   Neumann M.   Sze N.-S.  

Journal of Scientific Computing, Vol. 45, Iss. 1-3, 2010-10 ,pp. : 151-166

Springer Publishing Company

Access to resources Recommend Favorite

Estimation of Finite Probabilities via Aggregation of Markov Chains

By Karmanov A.   Karmanova L.  

Automation and Remote Control, Vol. 66, Iss. 10, 2005-10 ,pp. : 1640-1646

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Learning Probabilistic Automata and Markov Chains via Queries

By Tzeng W-G.  

Machine Learning, Vol. 08, Iss. 2, 1992-03 ,pp. : 151-166

Springer Publishing Company

Access to resources Recommend Favorite

Sequential Activity Profiling: Latent Dirichlet Allocation of Markov Chains

By Girolami Mark   Kabán Ata  

Data Mining and Knowledge Discovery, Vol. 10, Iss. 3, 2005-05 ,pp. : 175-196

Springer Publishing Company

Access to resources Recommend Favorite

Distributed disk-based algorithms for model checking very large Markov chains

By Bell Alexander   Haverkort Boudewijn  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 177-196

Springer Publishing Company

Access to resources Recommend Favorite