摘要：一种解决两类随机混合系统的概率有界可达性问题的新工具SReach的描述
作者：Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, and Edmund M. Clarke
论文ID：1404.7206
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-28
PDF 下载： 英文版 中文版pdf翻译中