Back to Search
Start Over
PReMo : An Analyzer for P robabilistic Re cursive Mo dels
- Source :
- Wojtczak, D & Etessami, K 2007, PReMo : An Analyzer for P robabilistic Re cursive Mo dels . in TACAS . Springer-Verlag GmbH, pp. 66-71 .
- Publication Year :
- 2007
- Publisher :
- Springer-Verlag GmbH, 2007.
-
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
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- Wojtczak, D & Etessami, K 2007, PReMo : An Analyzer for P robabilistic Re cursive Mo dels . in TACAS . Springer-Verlag GmbH, pp. 66-71 .
- Accession number :
- edsair.od......3094..1636cb3c5442f0c2a89b026833edd837