Abstract
This paper describes PReMo, a tool for analyzing Recursive Markov Chains, and their controlled/game extensions: (1-exit) Recursive Markov Decision Processes and Recursive Simple Stochastic Games.
Chapter PDF
Similar content being viewed by others
References
Dubey, A., Keller, F.: Personal communication (2006)
Esparza, J., Kučera, A., Mayr, R.: Model checking probabilistic pushdown automata. In: Proc. LICS’04 (2004)
Esparza, J., Kučera, A., Mayr, R.: Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. In: Proc. LICS’05 (2005)
Etessami, K., Yannakakis, M.: Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol. 3404, Springer, Heidelberg (2005)
Etessami, K., Yannakakis, M.: Algorithmic verification of recursive probabilistic state machines. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, Springer, Heidelberg (2005)
Etessami, K., Yannakakis, M.: Recursive markov decision processes and recursive stochastic games. In: Caires, L., et al. (eds.) ICALP 2005. LNCS, vol. 3580, Springer, Heidelberg (2005)
Etessami, K., Yannakakis, M.: Efficient qualitative analysis of classes of recursive markov decision processes and simple stochastic games. In: Durand, B., Thomas, W. (eds.) STACS 2006. LNCS, vol. 3884, Springer, Heidelberg (2006)
Neiderhof, M.J., Satta, G.: Using Newton’s method to compute the partition function of a PCFG. Unpublished draft manuscript (2006)
Wojtczak, D., Etessami, K.: PReMo: an analyzer for Probabilistic Recursive Models. Fuller report, with more experimental data, http://homepages.inf.ed.ac.uk/s0571094/PReMo/tacas07premo-long.pdf
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Wojtczak, D., Etessami, K. (2007). PReMo: An Analyzer for Probabilistic Recursive Models. In: Grumberg, O., Huth, M. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2007. Lecture Notes in Computer Science, vol 4424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71209-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-71209-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71208-4
Online ISBN: 978-3-540-71209-1
eBook Packages: Computer ScienceComputer Science (R0)