Reachability problems for Markov chains
Reachability problems for Markov chains
复制标题
马尔可夫链的可达性问题
DOI：
10.1016/j.ipl.2014.08.013
复制
发表时间：
2015
影响因子：
0.5
通讯作者：
Akshay S
中科院分区：
文献类型：
--
作者：
Akshay S
登录
查看更多内容
影响因子：
1.1
作者：
V. Blondel;Natacha Portier
通讯作者：
V. Blondel;Natacha Portier
DOI：
10.1093/logcom/exl004
发表时间：
2006-08
期刊：
J. Log. Comput.
影响因子：
--
作者：
D. Beauquier;A. Rabinovich;A. Slissenko
通讯作者：
D. Beauquier;A. Rabinovich;A. Slissenko
DOI：
10.1145/2488608.2488728
发表时间：
2013
期刊：
ArXiv
影响因子：
--
作者：
Ventsislav Chonev;Joël Ouaknine;J. Worrell
通讯作者：
J. Worrell
DOI：
10.1137/1.9781611973402.27
发表时间：
2013-07
期刊：
ArXiv
影响因子：
--
作者：
Joël Ouaknine;J. Worrell
通讯作者：
Joël Ouaknine;J. Worrell
线性不等式 LTL (iLTL)：离散时间马尔可夫链的模型检查器
DOI：
10.1007/978-3-540-30482-1_21
发表时间：
2004
期刊：
2010 Seventh International Conference on the Quantitative Evaluation of Systems
影响因子：
--
作者：
YoungMin Kwon;G. Agha
通讯作者：
G. Agha