Franz Brauße;康斯坦丁·科洛文;玛格丽塔·科罗维纳五世。;穆勒,诺伯特·瑟。 ksmt演算是一个针对非线性约束的完整决策过程。 (英语) Zbl 07741110号 西奥。计算。科学。 975,文章ID 114125,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Brauße}等人,Theor。计算。科学。975,文章ID 114125,16 p.(2023;Zbl 07741110) 全文: 内政部
Franz Brauße;康斯坦丁·科洛文;玛格丽塔·科罗维纳五世。;穆勒,诺伯特·瑟。 这个ksmt公司微积分是一个非线性约束的(delta)-完全决策过程。 (英语) Zbl 07437075号 AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699, 113-130 (2021).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Brauße}等人,Lect。注释计算。科学。12699、113--130(2021;Zbl 07437075) 全文: 内政部 arXiv公司
凯瑟琳·科德威尔;安德烈·普拉泽 面向物理混合系统。 (英语) Zbl 07178978号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 216-232 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Cordwell}和\textit{A.Platzer},莱克特。注释计算。科学。11716、216——232(2019;Zbl 07178978) 全文: 内政部 arXiv公司
尼玛·鲁希;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦 混合自动机的相关句法和语义扰动。 (英语) Zbl 1520.68066号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第26条,第16页(2018年)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人,LIPIcs——莱布尼茨国际程序。通知。118,第26条,第16页(2018;Zbl 1520.68066) 全文: 内政部
阿比谢克·穆尔西;伊斯兰,马里兰州Ariful;斯科特·斯莫尔卡。;拉杜·格罗苏 使用SOS优化和\(\delta\)-可判定性计算输入输出稳定性的组合证明。 (英语) Zbl 1351.93133号 非线性分析。,混合系统。 23, 272-286 (2017).MSC公司:93D25号 93磅40 93C20美元 93天30分 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{A.Murthy}等人,《非线性分析》。,混合系统。23、272--286(2017;Zbl 1351.93133) 全文: 内政部
彼得·弗兰克;斯特凡·拉特肖恩;彼得·兹格利钦斯基 实数一阶理论片段的拟可判定性。 (英语) 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公司
石井、大辅;直纪延崎;亚历山大·戈德斯特恩 使用区间分析监控有界LTL属性。 (英语) Zbl 1351.68163号 Bogomolov,Sergiy(编辑)等人,基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》317,85-100(2015)。MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.石井}等人,《电子》。注释Theor。计算。科学。31785-100(2015年;Zbl 1351.68163) 全文: 内政部 arXiv公司