A space-efficient simulation algorithm on probabilistic automata
文献类型：期刊论文
| 作者 | Zhang, LJ ; Jansen, DN |
| 刊名 | INFORMATION AND COMPUTATION
 |
| 出版日期 | 2016 |
| 卷号 | 249页码:138-159 |
| 关键词 | Probabilistic automata Simulation Partition refinement Decision algorithm |
| ISSN号 | 0890-5401 |
| 中文摘要 | In the context of probabilistic automata, time-efficient algorithms for simulation have been proposed lately. The space complexity thereof is quadratic in the size of the transition relation, thus space requirements often become the practical bottleneck. In this paper, we propose a space-efficient algorithm for computing simulation based on partition refinement. Experimental evidence is given showing that not only the space efficiency is improved drastically: The experiments often require orders of magnitude less time. In practice, they are even faster than the (asymptotically) optimal algorithm by Crafa and Ranzato (2012). (C) 2016 Elsevier Inc. All rights reserved. |
| 英文摘要 | In the context of probabilistic automata, time-efficient algorithms for simulation have been proposed lately. The space complexity thereof is quadratic in the size of the transition relation, thus space requirements often become the practical bottleneck. In this paper, we propose a space-efficient algorithm for computing simulation based on partition refinement. Experimental evidence is given showing that not only the space efficiency is improved drastically: The experiments often require orders of magnitude less time. In practice, they are even faster than the (asymptotically) optimal algorithm by Crafa and Ranzato (2012). (C) 2016 Elsevier Inc. All rights reserved. |
| 收录类别 | SCI |
| 语种 | 英语 |
| WOS记录号 | WOS:000381688200007 |
| 公开日期 | 2016-12-09 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/17310]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Zhang, LJ,Jansen, DN. A space-efficient simulation algorithm on probabilistic automata[J]. INFORMATION AND COMPUTATION,2016,249:138-159. |
| APA | Zhang, LJ,&Jansen, DN.(2016).A space-efficient simulation algorithm on probabilistic automata.INFORMATION AND COMPUTATION,249,138-159. |
| MLA | Zhang, LJ,et al."A space-efficient simulation algorithm on probabilistic automata".INFORMATION AND COMPUTATION 249(2016):138-159. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。