汤姆·巴丁斯;利西奥·罗芒;亚历山德罗·阿巴特;大卫·帕克;哈桑·普纳瓦拉（Hasan A.Poonawala）。;玛丽尔·斯托琳加;詹森，尼尔斯 基于形式化抽象的非高斯噪声动态系统鲁棒控制。 （英语） Zbl 1508.93279号 J.阿蒂夫。智力。研究（JAIR） 76, 341-391 (2023).MSC公司：93E03型 93B35型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Badings}等人，J.Artif。智力。研究（JAIR）76，341--391（2023；Zbl 1508.93279） 全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合：综述。 （英语） Zbl 1504.93389号 Automatica公司 146，文章ID 110617，40 p.（2022）.MSC公司：93E12号机组 93立方 93C55美元 90立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人，Automatica 146，文章ID 110617，40 p.（2022；Zbl 1504.93389） 全文： 内政部 arXiv公司
马克森·杜特雷克斯;啊，Jeongmin;塞缪尔·库根 具有欧米伽规则目标的随机系统的基于抽象的综合。 （英语） Zbl 1497.93069号 非线性分析。，混合系统。 45，文章ID 101204，38 p.（2022）.MSC公司：93亿B50 93E03型 93C55美元 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Dutreix}等人，《非线性分析》。，混合系统。45，文章ID 101204，38 p.（2022；Zbl 1497.93069） 全文： 内政部 arXiv公司
亚伯拉罕·维诺德（Abraham P.Vinod）。;Meeko M.K.Oishi。 靶管的随机可达性：理论和计算。 （英语） Zbl 1461.93554号 Automatica公司 125，文章ID 109458，14 p.（2021）.MSC公司：93E20型 93个B03 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}和\textit{M.M.K.Oishi}，Automatica 125，文章编号109458，14 P.（2021；Zbl 1461.93554） 全文： 内政部 arXiv公司
格罗·曼（Gerrit Großmann）;查拉兰波斯·基里亚科普洛斯;卢卡·博托卢西;维雷娜·沃尔夫 复杂网络上多状态过程的近似主方程集总。 （英语） 兹比尔1514.90042 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届国际会议，QEST 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 157-172 (2018).MSC公司：90B10型 91天30分 92天30分 PDF格式BibTeX公司 XML格式引用 \textit{G.Großmann}等人，Lect。注释计算。科学。11024，157--172（2018；Zbl 1514.90042） 全文： 内政部 arXiv公司 链接
卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 （英语） Zbl 1317.90283号 约束条件 18，第4期，535-578（2013）.MSC公司：90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《约束18》，第4期，535--578（2013；Zbl 1317.90283） 全文： 内政部 哈尔
卢卡·博托卢西;阿尔贝托·波利里蒂 动力系统和随机规划：到常微分方程和回来。 （英语） 兹比尔1260.92020 Priami，Corrado（编辑）等人，《计算系统生物学学报》第十一卷。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，216-267（2009）。MSC公司：92C40型 90立方厘米 68问题85 34C60个 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti}，莱克特。注释计算。科学。5750、216——267（2009年；Zbl 1260.92020年） 全文： 内政部
卢卡·博托卢西;阿尔贝托·波利里蒂 在随机并发约束规划中建模生物系统。 （英语） Zbl 1144.92001号 约束条件 13，编号1-2，66-90（2008）.MSC公司：92B05型 90 C90 68单位99 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti}，约束13，No.1--2,66-90（2008；Zbl 1144.92001） 全文： 内政部