巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽 Wordgen：一个定时单词生成工具。 （英语） Zbl 07807957号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛B.Barbot｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023；Zbl 07807957） 全文： 内政部 哈尔
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 （英语） Zbl 07807955号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023；Zbl 07807955） 全文： 内政部 哈尔
钟冰卓;阿波法兹·拉瓦伊;马吉德·扎马尼;马可·卡卡莫 随机系统基于自动机的控制器综合：基于近似概率关系的博弈框架。 （英语） Zbl 1505.93257号 Automatica公司 147，文章ID 110696，16 p.（2023）.MSC公司：93E03型 93C55美元 93亿B50 65年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{B.Zhong}等人，Automatica 147，文章ID 110696，16 p.（2023；Zbl 1505.93257） 全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;苏德贾尼，萨代格;马吉德·扎马尼 大规模随机系统的合成抽象：一种松弛耗散方法。 （英语） Zbl 1441.93293号 非线性分析。，混合系统。 36，文章ID 100880，24 p.（2020）.MSC公司：93E03型 93年1月15日 93C55美元 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人，《非线性分析》。，混合系统。36，文章ID 100880，24 p.（2020；Zbl 1441.93293） 全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;苏德贾尼，萨代格;马吉德·扎马尼 随机切换系统网络的基于合成抽象的综合。 （英语） Zbl 1441.93322号 Automatica公司 114，文章ID 108827，15 p.（2020）.MSC公司：93E15型 93立方 93D25号 93亿B50 93B70型 93C55美元 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人，Automatica 114，文章ID 108827，15 p.（2020；Zbl 1441.93322） 全文： 内政部 arXiv公司
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证与策略综合。 （英语） 兹比尔1347.93240 欧洲药典控制 30, 15-30 (2016).MSC公司：93E03型 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska}，《欧洲期刊控制》30，15-30（2016；Zbl 1347.93240） 全文： 内政部