Dannenberg，弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡 使用快速自适应均匀化计算累积奖励。 （英语） Zbl 1369.65014号 ACM事务处理。模型。计算。模拟。 25，第2号，第9条，第23页（2015年）.MSC公司：65立方厘米 60J28型 65C20个 60年第68季度 92D20型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dannenberg}等人，《美国医学杂志》。模型。计算。模拟。25，第2号，第9条，23页（2015年；Zbl 1369.65014） 全文： 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山德鲁·梅雷阿克 连续时间马尔可夫链上线性持续时间特性的验证。 （英语） Zbl 1353.68174号 ACM事务处理。计算。日志。 第14号第4条第33条第35页（2013年）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，ACM Trans。计算。日志。14，第4号，第33条，第35页（2013；Zbl 1353.68174） 全文： 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 （英语） Zbl 1361.68139号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。265-274 (2012).MSC公司：60年第68季度 60J27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，in：第十五届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。265--274（2012；Zbl 1361.68139） 全文： 内政部
Kwiatkowska，M。;G·诺曼。;A.帕切科。 模型检查具有随机时间边界的期望时间和期望报酬公式。 （英语） Zbl 1104.68067号 计算。数学。申请。 51，第2号，305-316（2006）.MSC公司：60年第68季度 60J27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，计算。数学。申请。51，第2号，305-316（2006；Zbl 1104.68067） 全文： 内政部
帕南加登，普拉卡什（编辑）;弗兰克·范·布鲁格尔（编辑） [J.J.M.M.鲁顿。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克] 用于分析并发和概率系统的数学技术。 （英语） Zbl 1069.68074号 CRM专题系列23.普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3571-8/hbk）。viii，第215页。(2004). 审核人：亚历山德罗·杜西（贝加莫） MSC公司：60年第68季度 第68季度85 60J10型 68卢比 03G25号 60J27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit｛P.Panangaden｝（编辑）和\textit｛F.van Breugel｝（编辑），分析并发和概率系统的数学技术。普罗维登斯，RI:美国数学学会（AMS）（2004；Zbl 1069.68074） 全文： 内政部