史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Sanjit A.Seshia。;盖伊，范登·布勒克 利用概率推理对有限水平马尔可夫链进行模型检验。 （英文） 兹比尔1493.68210 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：施普林格。莱克特。注释计算。科学。12760, 577-601 (2021).MSC公司：60年第68季度 60J22型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Holtzen}等人，Lect。注释计算。科学。12760577--601（2021年；Zbl 1493.68210） 全文： 内政部 arXiv公司 OA许可证
拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 （英文） Zbl 1514.68139号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。11024, 240-256 (2018).MSC公司：60年第68季度 90立方厘米 93个B03 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lal}和\textit{P.Prabhakar}，莱克特。注释计算。科学。11024，240-256（2018；Zbl 1514.68139） 全文： 内政部
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服？ （英文） Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99, 41-96 (2018).MSC公司：第68季度85 60J20型 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，J.Log。阿尔盖布。方法计划。99、41-96（2018年；Zbl 1394.68243） 全文： 内政部 arXiv公司
博扬·约丹诺夫;Christoph M.温特斯泰格。;尤塞夫·哈马迪;安德鲁·菲利普斯;希勒尔·库格勒 大规模DNA链置换电路的功能分析。 （英文） Zbl 1409.68112号 Soloveichik，David（编辑）等人，《DNA计算和分子编程》。第19届国际会议，DNA 19，美国亚利桑那州坦佩，2013年9月22日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8141, 189-203 (2013).MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Yordanov}等人，Lect。注释计算。科学。8141、189--203（2013；Zbl 1409.68112） 全文： 内政部
张丽君;她，志坤;斯特凡·拉特肖恩;霍尔格·赫尔曼斯;恩斯特·莫里茨·哈恩 概率混合系统的安全验证。 （英文） Zbl 1291.93294号 欧洲药典控制 18，第6号，572-587（2012）.MSC公司：93E03型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《欧洲期刊控制》第18卷，第6期，第572--587页（2012年；Zbl 1291.93294） 全文： 内政部
蒂诺·特伊格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 （英文） Zbl 1225.93102号 非线性分析。，混合系统。 5，第2期，343-366（2011）.MSC公司：93E03型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人，《非线性分析》。，混合系统。5，第2号，343--366（2011；Zbl 1225.93102） 全文： 内政部
蒂诺·特伊格;马丁·范策尔 随机布尔可满足性问题的广义Craig插值。 （英文） 兹比尔1315.68183 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605158-172（2011）。MSC公司：60年第68季度 03C40号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle}，Lect。注释计算。科学。6605158--172（2011年；Zbl 1315.68183） 全文： 内政部
马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英文） Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436--466（2010；Zbl 1205.68252） 全文： 内政部
安德烈亚斯·艾格斯;纳塔利亚·卡林尼克;Stefan Kupferschmid;蒂诺·特伊格 混合系统基于约束分析的挑战。 （英文） Zbl 1248.68328号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，51-65（2009）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5655、51-65（2009年；Zbl 1248.68328） 全文： 内政部
蒂诺·特伊格;马丁·范策尔 非线性算法的随机可满足性模理论。 （英文） Zbl 1142.68525号 Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015，248-262（2008）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle}，Lect。注释计算。科学。5015、248--262（2008；Zbl 1142.68525） 全文： 内政部