恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 自动机理论强化学习是不可能的结果。 (英语) Zbl 1522.68269号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 42-57 (2022).MSC公司:65年第68季度 68问题32 68T05型 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,Lect。注释计算。科学。13505,42-57(2022;Zbl 1522.68269) 全文: 内政部 链接
马哈茂德·本特里奥;保罗·巴拉里尼;保罗·亨里·库内德 Automaton-ABC:估计参数马尔可夫总体模型时空特性概率的统计方法。 (英语) Zbl 1514.68121号 西奥。计算。科学。 893, 191-219 (2021).MSC公司:60年第68季度 62亿02 2005年6月2日 第68季度10 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bentriou}等人,Theor。计算。科学。893191-219(2021年;Zbl 1514.68121) 全文: 内政部
阿波法兹·拉瓦伊;马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼 AMYTISS:大型随机系统自动控制器综合的并行工具。 (英语) Zbl 07300872号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,在:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼和虚拟,2020年4月21-24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020;Zbl 07300872) 全文: 内政部
纳塔利·考奇;亚历山德罗·阿巴特 海报摘要:StocHy–随机过程的自动验证和合成。 (英语) Zbl 07120162号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。258-259 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Cauchi}和\textit{A.Abate},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。258-259(2019;Zbl 07120162) 全文: 内政部
杰里米·斯普洛斯顿 具有有限互模拟的概率混合自动机的验证和控制。 (英语) Zbl 1417.68105号 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法计划。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 (英语) Zbl 1382.68145号 正式Asp。计算。 30,第2期,219-237(2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu},正式Asp。计算。30,第2号,219--237(2018;Zbl 1382.68145) 全文: 内政部
卢卡·博托卢西;尼古拉斯·加斯特 超越常微分方程的平均场极限。 (英语) Zbl 1346.68217号 Bernardo,Marco(编辑)等人,集体适应系统定量评估的形式方法。2016年6月20日至24日,第16届计算机、通信和软件系统设计正式方法国际学校,SFM 2016,意大利贝尔蒂诺罗。高级讲座。查姆:施普林格(ISBN 978-3-319-34095-1/pbk;978-3-3169-34096-8/电子书)。计算机科学9700,61-82(2016)讲稿。MSC公司:68T42型 34A60型 34F05型 60J28型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{N.Gast},莱克特。注释计算。科学。9700、61-82(2016年;Zbl 1346.68217) 全文: 内政部 哈尔
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,编号2191-232(2013).MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,第2号,191--232(2013;Zbl 1291.68293) 全文: 内政部
卢卡·博托卢西;阿尔贝托,Policriti 随机程序的混合动力学。 (英语) Zbl 1198.68175号 西奥。计算。科学。 第20号第411页,2052-2077页(2010年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti},Theor。计算。科学。411,第20号,2052--2077(2010;Zbl 1198.68175) 全文: 内政部