PReMo : An Analyzer for P robabilistic Re cursive Mo dels

PReMo : An Analyzer for P robabilistic Re cursive Mo dels
复制标题

PReMo：概率递归模型分析器

DOI：
--
复制
发表时间：
2007
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
通讯作者：
K. Etessami
K. Etessami
中科院分区：
--
文献类型：
--
作者：
D. Wojtczak;K. Etessami

文献摘要

被引文献

相似文献

本文介绍了用于分析递归马尔可夫链的工具PReMo及其受控/博弈扩展：（1-出口）递归马尔可夫决策过程和递归简单随机博弈。
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.