托马斯·科拉里克;斯特凡·拉特肖恩 使用布尔可满足性模模拟的铁路调度。 (英语) Zbl 07728836号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 56-73 (2023).MSC公司:90B35型 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kolárik}和\textit{S.Ratschan},Lect。注释计算。科学。14000,56-73(2023;Zbl 07728836) 全文: 内政部 arXiv公司
昂德卡,简;斯特凡·拉特肖恩 快速三值抽象位向量算法。 (英语) Zbl 1498.68166号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 242-262 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Onderka}和\textit{S.Ratschan},莱克特。注释计算。科学。13182、242--262(2022;Zbl 1498.68166) 全文: 内政部
彼得·弗兰克;斯特凡·拉特肖恩;彼得·兹格利钦斯基 实数一阶理论片段的拟可判定性。 (英语) Zbl 1437.03047号 J.自动化。推理 57、2号、157-185(2016).MSC公司:03年2月25日 03B35型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{P.Franek}等人,J.Autom。推理57,No.2,157--185(2016;Zbl 1437.03047) 全文: 内政部 arXiv公司
张丽君;她,志坤;斯特凡·拉特肖恩;霍尔格·赫尔曼斯;恩斯特·莫里茨·哈恩 概率混合系统的安全验证。 (英语) 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 1348.68133号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。《计算机科学讲义》6919271-285(2011)。MSC公司:60年第68季度 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Dzetkulič}和\textit{S.Ratschan},莱克特。注释计算。科学。6919、271--285(2011年;Zbl 1348.68133) 全文: 内政部
斯特凡·拉特肖恩;斯马乌斯,Jan-Georg 通过优化基于抽象的质量估计来发现混合系统的错误。 (英语) Zbl 1246.68158号 凯瑟琳·杜波伊斯(编辑),《测试与证明》。第三届国际会议,TAP 2009,瑞士苏黎世,2009年7月2日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02948-6/pbk)。计算机科学讲座笔记5668153-168(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan}和\textit{J.-G.Smaus},莱克特。注释计算。科学。5668、153--168(2009年;Zbl 1246.68158) 全文: 内政部
费利克斯·克莱特克;斯特凡·拉特肖恩;她,志坤 用于混合系统验证的基于语言的抽象细化。 (英语) Zbl 1132.68471号 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349151-166(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Klaedtke}等人,莱克特。注释计算。科学。4349,151--166(2007;Zbl 1132.68471) 全文: 内政部
达姆,沃纳;吉尔赫梅·平托;斯特凡·拉特肖恩 非线性鲁棒离散时间混合系统LTL特性验证的保证终止。 (英语) Zbl 1109.68064号 发现的国际期刊。计算。科学。 第1期第18页,第63-86页(2007年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,国际期刊发现。计算。科学。18,编号1,63--86(2007;Zbl 1109.68064) 全文: 内政部