摘要：连续时间马氏决策过程中的有界时间可达性.
作者：Markus Rabe (Saarland University), Sven Schewe (University of Liverpool)
论文ID：1006.5103
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-06-29
PDF 下载： 英文版 中文版pdf翻译中