米歇尔·弗拉卡罗利;伊芙琳娜·拉姆;法布里西奥·里古齐 符号DNN调谐器。 （英语） Zbl 07510323号 机器。学习。 111，编号2，625-650（2022）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fraccaroli}等人，马赫。学习。111，编号2，625--650（2022；Zbl 07510323） 全文： 内政部
卢卡·博托卢西;西蒙·西尔维蒂 随机模型线性时间特性的贝叶斯统计参数综合。 （英语） Zbl 1423.68322号 Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10806, 396-413 (2018).MSC公司：87年第68季度 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{S.Silvetti}，莱克特。注释计算。科学。10806396--413（2018；Zbl 1423.68322） 全文： 内政部
塔蒂，巴拉斯·西瓦·库马尔;马库斯·西格尔 带有动作和状态标签的马尔可夫链的参数和控制器综合。 （英语） Zbl 1429.68142号 André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 63-76 (2015).MSC公司：60年第68季度 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.S.K.Tati｝和\textit｛M.Siegle｝，OASIcs——OpenAccess系列。通知。44、63-76（2015年；Zbl 1429.68142） 全文： 内政部
苏米特·库马尔·贾阿;克里斯托弗·詹姆斯·兰米德 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 （英语） Zbl 1211.92021号 西奥。计算。科学。 412，第21号，2162-2187（2011）.MSC公司：92C40型 92立方厘米 60年20日 62页第10页 65C20个 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Jha}和\textit{C.J.Langmead}，Theor。计算。科学。412，第21号，2162--2187（2011；Zbl 1211.92021） 全文： 内政部