阿恩·哈特曼斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 MDP中的多成本有界权衡分析。 （英语） Zbl 1468.68132号 J.汽车。推理 64，第7期，1483-1522（2020）.MSC公司：第68季度第60季度 87年第68季度 90C29型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛A.Hartmanns｝等人，J.Autom。推理64，No.7，1483--1522（2020；Zbl 1468.68132） 全文： 内政部 OA许可证
帕特里夏·鲍耶;毛里西奥·冈萨雷斯;尼古拉斯·马基;米凯尔·兰多尔 具有可达性目标的多加权马尔可夫决策过程。 （英语） 兹比尔1527.90248 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277250-264（2018）。MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277250--264（2018；Zbl 1527.90248） 全文： arXiv公司 链接
约翰内斯·克虏伯;多米尼克·施罗德;马克·西姆金;达里奥·菲奥雷;朱塞佩·阿特尼塞;斯特凡·纽伦伯格 近乎最佳的可验证数据流。 （英语） Zbl 1388.94065号 Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，417-445（2016）。MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{J.Krupp}等人，Lect。注释计算。科学。9614，417--445（2016；Zbl 1388.94065） 全文： 内政部