PReMo: An analyzer for probabilistic recursive models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 69-71

  Wojtczak, Dominik ^a   Etessami, Kousha ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; GAME THEORY; MARKOV PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

MARKOV DECISION PROCESSES; PROBABILISTIC RECURSIVE MODELS; STOCHASTIC GAMES; RECURSIVE MARKOV CHAINS; RECURSIVE MODELS; SIMPLE STOCHASTIC GAMES;

PROBABILISTIC LOGICS; MARKOV PROCESSES;

EID: 37149008192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_7     Document Type: Conference Paper

References (9)

1. A. Dubey and F. Keller, personal communication, 2006.
2. J. Esparza, A. Kučera, and R. Mayr. Model checking probabilistic pushdown automata. In Proc. LICS'04, 2004.
3. J. Esparza, A. Kučera, and R. Mayr. Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. In Proc. LICS'05, 2005.
4. K. Etessami and M. Yannakakis. Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations. In Proc. STACS'05, 2005.
5. K. Etessami and M. Yannakakis. Algorithmic verification of recursive probabilistic state machines. In Proc. TACAS'05, 2005.
6. K. Etessami and M. Yannakakis. Recursive markov decision processes and recursive stochastic games. In Proc. ICALP'05, 2005.
7. K. Etessami and M. Yannakakis. Efficient qualitative analysis of classes of recursive markov decision processes and simple stochastic games. In Proc. STACS'06, 2006.
8. M. J. Neiderhof and G. Satta. Using Newton's method to compute the partition function of a PCFG, 2006. unpublished draft manuscript.
9. D. Wojtczak and K. Etessami. PReMo: an analyzer for Probabilistic Recursive Models. Fuller report, with more experimental data, http ://homepages.inf.ed.ac.uk/s0571094/PReMo/tacas07premo-long.pdf