卡琳娜·皮尔奇;斯特凡·舒普;安妮·雷姆克 通过流管道构造优化一类受限随机混合自动机的可达概率。 （英语） Zbl 1491.68102号 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 435-456 (2021).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Pilch}等人，Lect。注释计算。科学。12846、435--456（2021年；Zbl 1491.68102） 全文： 内政部
亚历山德罗·阿巴特 一般状态空间马尔可夫过程基于概率互模拟的近似度量：综述。 （英语） Zbl 1334.68128号 Fränzle，Martin（ed.）等人，混合自治系统第一次研讨会会议记录，德国萨尔布吕肯，2013年6月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》297，3-25（2013）。MSC公司：60年第68季度 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}，电子。注释Theor。计算。科学。297、3--25（2013年；Zbl 1334.68128） 全文： 内政部
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 （英语） Zbl 1291.68293号 形式方法系统。设计。 43，第2期，191-232（2013）.MSC公司：87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，《形式方法系统》。设计。43，第2号，191--232（2013；Zbl 1291.68293） 全文： 内政部
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王，郑 定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130） 全文： 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 混合系统的进程代数。 （英语） Zbl 1080.68073号 西奥。计算。科学。 335，编号2-3，215-280（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg}，Theor。计算。科学。335，编号2--3，215--280（2005；Zbl 1080.68073） 全文： 内政部 链接