见鬼，莱纳斯;斯佩尔，吉普;塞巴斯蒂安·荣格斯;约书亚·莫尔曼;Joost-Pieter卡托恩 部分可观测性下随机控制器的渐变。 （英语） Zbl 1498.68159号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 127-150 (2022).MSC公司：60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Heck}等人，Lect。注释计算。科学。13182127-150（2022年；Zbl 1498.68159） 全文： 内政部 arXiv公司
塞巴斯蒂安·荣格斯;尼尔斯·詹森;Sanjit A.Seshia。 在POMDP中实施几乎安全的可达性。 （英语） Zbl 1493.68213号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。127602-625（2021年）。MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人，Lect。注释计算。科学。12760、602--625（2021；Zbl 1493.68213） 全文： 内政部 arXiv公司
科什卡，米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 （英语） Zbl 1519.68055号 正式Asp。计算。 33，编号4-5，637-667（2021）.MSC公司：68号30 60J20型 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人，《正式Asp》。计算。33，编号4--5，637--667（2021；Zbl 1519.68055） 全文： 内政部
格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 （英语） Zbl 1425.68266号 实时系统。 53，第3期，354-402（2017）.MSC公司：60年第68季度 68平方米 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《实时系统》。53，第3号，354--402（2017；Zbl 1425.68266） 全文： 内政部
克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔 具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1338.68166号 J.计算。系统。科学。 82，No.5，878-911（2016）.MSC公司：60年第68季度 2017年第68季度 第68季度25 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166） 全文： 内政部 arXiv公司
亚历山大·古伯曼;马库斯·西格尔 离散和连续时间的马尔可夫报酬模型和马尔可夫决策过程：性能评估和优化。 （英语） Zbl 1426.68190号 Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 156-241 (2014).MSC公司：87年第68季度 60J20型 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Gouberman}和\textit{M.Siegle}，莱克特。注释计算。科学。8453、156--241（2014年；Zbl 1426.68190） 全文： 内政部