玛丽亚·马克西莫娃；斯文·施奈德；霍尔格·吉斯 概率时间图变换系统的组成分析。 （英语） Zbl 1467.68090号 Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 196-217 (2021).MSC公司：60年第68季度 第68季度第42季度 93甲15 93磅70 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人，Lect。注释计算。科学。12649196-217（2021；Zbl 1467.68090） 全文： 内政部
李楠；伊利亚·科尔马诺夫斯基；阿诺克·吉拉德 马尔可夫决策过程的检测逆最优和滚动时域控制。 （英语） Zbl 1453.93243号 Automatica公司 122，文章ID 109278，第8页（2020）.MSC公司：93E20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Li}等人，Automatica 122，文章ID 109278，8 p.（2020；Zbl 1453.93243） 全文： 内政部 arXiv公司
大卫·巴兹勒；莫里斯·比克。；罗萨里奥·普格利泽 编配和舞蹈的综合：弥合监督控制和服务协调之间的差距。 （英语） Zbl 1528.68173号 日志。方法计算。科学。 16，第2号，第9号论文，29页（2020年）.MSC公司：65年第68季度 60年第68季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人，Log。方法计算。科学。16，第2号，第9号论文，29页（2020年；Zbl 1528.68173） 全文： arXiv公司 链接
贝拉德，贝特里奇；奥尔加·库什纳伦科；约翰·马林斯；马修·萨索拉斯 线性约束马尔可夫链的不透明度。 （英语） Zbl 1384.93137号 离散事件动态。系统。 28，第1期，83-108（2018）.MSC公司：93E03型 60小时10分 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《离散事件动力学》。系统。28，编号1，83--108（2018；Zbl 1384.93137） 全文： 内政部 哈尔
安德烈·范丁；米尔科·特里巴斯通 集体自适应系统的定量抽象。 （英语） Zbl 1346.68219号 Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。2016年6月20日至24日，第16届计算机、通信和软件系统设计正式方法国际学校，SFM 2016，意大利贝尔蒂诺罗。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700、202-232讲稿（2016）。MSC公司：68T42型 68T05型 93甲15 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Vandin}和\textit{M.Tribastone}，莱克特。注释计算。科学。9700、202--232（2016；Zbl 1346.68219） 全文： 内政部
卡罗琳·塔尔科特；法哈德·阿尔巴；曼尼什亚达夫 软代理：探索软约束以建模健壮的自适应分布式网络物理代理系统。 （英语） 兹比尔1454.68148 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 273-290 (2015).MSC公司：68T42型 64岁以下 第68季度第42季度 93甲16 PDF格式BibTeX公司 XML格式引用 \textit｛C.Talcott｝等人，Lect。注释计算。科学。8950273--290（2015年；Zbl 1454.68148） 全文： 内政部 链接