蒂诺州泰格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析:网络自动化系统的应用。 (英语) 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) 全文: 内政部
马丁·范策尔;蒂诺州泰格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 (英语) Zbl 1205.68252号 J.日志。代数。程序。 79,第7期,436-466(2010).MSC公司:第68季度87 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{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 1143.68452号 Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981172-186(2008)。MSC公司:60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,Lect。注释计算。科学。4981、172--186(2008年;Zbl 1143.68452) 全文: 内政部