吴迪;Koutsoukos，Xenofon公司 基于有界参数马尔可夫决策过程的不确定系统可达性分析。 （英语） 兹比尔1183.68406 Artif公司。智力。 172，编号8-9，945-954（2008）.MSC公司：87年第68季度 60J05型 68层37 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Wu}和\textit{X.Koutsoukos}，Artif。智力。172，编号8--9945--954（2008；Zbl 1183.68406） 全文： 内政部
吴迪;Koutsoukos，Xenofon公司 使用有界参数马尔可夫决策过程对不确定系统进行概率验证。 （英语） Zbl 1235.68105号 Torra，Vincenç（编辑）等人，《人工智能决策建模》。第三次国际会议，2006年MDAI，2006年4月3日至5日，西班牙塔拉戈纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-32780-0/pbk）。计算机科学课堂讲稿3885。人工智能课堂讲稿，283-294（2006）。MSC公司：60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Wu}和\textit{X.Koutsoukos}，莱克特。注释计算。科学。3885、283--294（2006年；Zbl 1235.68105） 全文： 内政部