Tan,Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽 用逻辑验证切换系统的稳定性。 (英语) Zbl 07807710号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}等人,《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022;Zbl 07807710) 全文: 内政部 arXiv公司
安德烈·普拉泽 更正为:“混合系统的差分动态逻辑”。 (英语) Zbl 07498611号 J.汽车。推理 66、第1、173号(2022年).MSC公司:68伏15 03B70号 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理66,No.1,173(2022;Zbl 07498611) 全文: 内政部
安德鲁·索戈孔;斯特凡·米奇;Tan,Yong Kiam先生;凯瑟琳·科德威尔;安德烈·普拉泽 飞马座:声音连续不变生成。 (英语) Zbl 1505.68045号 形式方法系统。设计。 58,编号1-2,5-41(2021).MSC公司:68伏15 34-04 第68季度第60季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,《形式方法系统》。设计。58,编号1--2,5--41(2021;Zbl 1505.68045) 全文: 内政部 arXiv公司
Tan,Yong Kiam先生;安德烈·普拉泽 常微分方程的演绎稳定性证明。 (英语) Zbl 1474.68195号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).MSC公司:第68季度第60季度 03B70号 34D99型 68V20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer},莱克特。注释计算。科学。12652、181--199(2021年;Zbl 1474.68195) 全文: 内政部 arXiv公司
Tan,Yong Kiam先生;安德烈·普拉泽 微分方程存在性和活性的公理方法。 (英语) Zbl 1519.68141号 正式Asp。计算。 33,编号4-5461-518(2021).MSC公司:第68季度第60季度 03B70号 34甲12 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer},正式Asp。计算。33,编号4--5,461--518(2021;Zbl 1519.68141) 全文: 内政部 arXiv公司
罗斯·波勒;安德烈·普拉泽 建设性的游戏逻辑。 (英语) Zbl 1508.03065号 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075, 84-111 (2020).MSC公司:03B70号 68号30 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bohrer}和\textit{A.Platzer},莱克特。注释计算。科学。12075,84-111(2020;Zbl 1508.03065) 全文: 内政部 arXiv公司
安德烈·普拉泽;Tan,Yong Kiam先生 微分方程不变性公理化。 (英语) Zbl 1494.03079号 美国临床医学杂志 67,第1号,第6条,66页(2020年).MSC公司:03B80号 03B70号 03财年03 34A38型 34立方厘米 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{Y.K.Tan},J.ACM 67,第1号,第6条,66页(2020;Zbl 1494.03079) 全文: 内政部 arXiv公司
内森·富尔顿;安德烈·普拉泽 可验证安全的越野强化学习。 (英语) Zbl 1527.68175号 Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11427, 413-430 (2019).MSC公司:68T05型 第68季度第60季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Fulton}和\textit{A.Platzer},莱克特。注释计算。科学。11427413-430(2019年;Zbl 1527.68175) 全文: 内政部 arXiv公司
安德鲁·索戈孔;哈利勒·戈尔巴尔;Tan,Yong Kiam先生;安德烈·普拉泽 病媒屏障证书和比较系统。 (英语) Zbl 1460.93012号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 418-437 (2018).MSC公司:93个B03 第68季度第60季度 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,莱克特。注释计算。科学。10951,418--437(2018;Zbl 1460.93012) 全文: 内政部 链接
安德烈·普拉泽;Tan,Yong Kiam先生 微分方程公理化。不同鬼魂令人印象深刻的力量。 (英语) Zbl 1453.03026号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。819-828 (2018).MSC公司:03B70号 03B80号 03财年03 34A38型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{Y.K.Tan},摘自:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。819--828(2018;Zbl 1453.03026) 全文: 内政部 arXiv公司
布兰登·伯勒;安德烈·普拉泽 混合动态信息流的混合动态逻辑。 (英语) Zbl 1497.68289号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。115-124 (2018).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bohrer}和\textit{A.Platzer},摘自:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年LICS,英国牛津,2018年7月9日至12日。纽约州纽约市:计算机协会(ACM)。115-124(2018;Zbl 1497.68289) 全文: 内政部
安德烈·普拉泽 网络物理系统的逻辑基础。 (英语) Zbl 1400.93003号 查姆:施普林格(ISBN 978-3-319-63587-3/hbk;978-3-3169-63588-0/电子书)。xxxi,639页。(2018)。MSC公司:93-01 03-01 03B70号 03B80号 68-01 第68季度第60季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},网络物理系统的逻辑基础。查姆:施普林格(2018;Zbl 1400.93003) 全文: 内政部 链接
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽 混合系统的验证。 (英语) Zbl 1392.68246号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1047-1110 (2018).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,《模型检查手册》。查姆:斯普林格。1047--1110(2018;Zbl 1392.68246) 全文: 内政部
安德烈亚斯·米勒;斯特凡·米奇;沃纳·雷茨基格;维兰德·施温格;安德烈·普拉泽 混合系统组件验证的变更和延迟合同。 (英语) Zbl 1430.68154号 Huisman,Marieke(编辑)等人,《软件工程的基本方法》,第20届国际会议,2017年FASE,作为欧洲软件理论与实践联合会议的一部分,2017年ETAPS,2017年4月22日至29日,瑞典乌普萨拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10202, 134-151 (2017).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Müller}等人,Lect。注释计算。科学。10202、134--151(2017年;Zbl 1430.68154) 全文: 内政部
安德烈·普拉泽 微分动态逻辑的一个完全一致替换演算。 (英语) Zbl 1437.03119号 J.汽车。推理 59,第2期,219-265(2017).MSC公司:03B70号 03B35型 68号30 第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理59,No.2,219--265(2017;Zbl 1437.03119) 全文: 内政部 arXiv公司
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集和半代数集的正不变性的证明规则层次。 (英语) 兹比尔1379.68238 计算。语言系统。结构。 47,第1部分,19-43(2017).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghorbal}等人,计算。语言系统。结构。47,第1部分,19-43(2017;Zbl 1379.68238) 全文: 内政部
内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 Bellerophon:混合系统的战术定理证明。 (英语) Zbl 1483.68191号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 207-224 (2017).MSC公司:第68季度第60季度 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Fulton}等人,Lect。注释计算。科学。10499,207--224(2017;Zbl 1483.68191) 全文: 内政部
Sarah M.Loos。;安德烈·普拉泽 微分细化逻辑。 (英语) Zbl 1401.68204号 2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。505-514 (2016).MSC公司:第68季度第60季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Loos}和\textit{A.Platzer},摘自:2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。505--514(2016;Zbl 1401.68204) 全文: 内政部
斯特凡·米奇;安德烈·普拉泽 ModelPlex:验证的网络物理系统模型的验证运行时验证。 (英语) Zbl 1380.68282号 形式方法系统。设计。 49,编号1-2,33-74(2016).MSC公司:第68季度第60季度 03B70号 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitsch}和\textit{A.Platzer},《形式方法系统》。设计。49,编号1--2,33-74(2016;兹bl 1380.68282) 全文: 内政部
安德鲁·索戈孔;哈利勒·戈尔巴尔;保罗·B·杰克逊。;安德烈·普拉泽 多项式连续系统的不变量生成方法。 (英语) Zbl 1475.68194号 Jobstmann,Barbara(编辑)等人,《验证、模型检查和抽象解释》。2016年1月17日至19日,第17届国际会议,VMCAI 2016,美国佛罗里达州圣彼得堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9583, 268-288 (2016).MSC公司:第68季度第60季度 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,莱克特。注释计算。科学。9583、268--288(2016年;Zbl 1475.68194) 全文: 内政部 链接
安德烈·普拉泽 微分博弈逻辑。 (英语) Zbl 1367.68201号 ACM事务处理。计算。日志。 17,第1号,第1条,51页(2015年).MSC公司:第68季度第60季度 03B70号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},ACM事务。计算。日志。17,第1号,第1条,51页(2015;Zbl 1367.68201) 全文: 内政部 arXiv公司
尼科斯·阿雷奇加;詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;安德烈·普拉泽;布鲁斯·克罗格 动力总成控制系统的数字辅助演绎安全证明。 (英语) 兹比尔1351.68150 Bogomolov,Sergiy(编辑)等人,基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》317,19-25(2015)。MSC公司:第68季度第60季度 68吨15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Aréchiga}等人,《电子》。注释Theor。计算。科学。317、19-25(2015年;Zbl 1351.68150) 全文: 内政部
内森·富尔顿;斯特凡·米奇;贾·戴维德·奎塞尔;马库斯·沃尔普;安德烈·普拉泽 KeYmaera X:混合系统的公理化战术定理证明器。 (英语) Zbl 1465.68281号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 527-538 (2015).MSC公司:68伏15 03B70号 34A38型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fulton}等人,Lect。注释计算。科学。9195527--538(2015;Zbl 1465.68281) 全文: 内政部 链接
安德烈·普拉泽 微分动力学逻辑的一种统一替换演算。 (英语) Zbl 1465.03056号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 467-481 (2015).MSC公司:03B35型 03B70号 34A38型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。9195、467--481(2015;Zbl 1465.03056) 全文: 内政部 arXiv公司
罗兰·梅耶(编辑);安德烈·普拉泽(编辑);海克·卫尔海姆(编辑) 正确的系统设计。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 (英语) Zbl 1320.68024号 计算机科学课堂讲稿9360.查姆:施普林格(ISBN 978-3-319-23505-9/pbk;978-3-3169-23506-6/电子书)。xii,279页。(2015).MSC公司:68-06 68号30 第68季度第60季度 第68季度85 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}(编辑)等,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格(2015;Zbl 1320.68024) 全文: 内政部
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集的微分不变性的一种证明规则层次。 (英语) Zbl 1432.68262号 D’Souza,Deepak(编辑)等人,《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8931, 431-448 (2015).MSC公司:第68季度第60季度 37立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghorbal}等人,Lect。注释计算。科学。8931431-448(2015年;兹bl 1432.68262) 全文: 内政部 哈尔
阿克沙·拉汉斯;阿金基亚·巴韦;伊凡·鲁奇金;布鲁斯·H·克罗。;大卫·加兰;安德烈·普拉泽;布拉德利·施默尔 支持网络物理系统架构中的异构性。 (英语) Zbl 1360.93475号 IEEE传输。自动化。控制 59,第12号,3178-3193(2014).MSC公司:93C85号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajhans}等人,IEEE Trans。自动化。控制59,编号12,3178--3193(2014;Zbl 1360.93475) 全文: 内政部
Jeannin、Jean-Baptiste;安德烈·普拉泽 dTL(^{2}):混合系统中具有嵌套时间的差分时间动态逻辑。 (英语) Zbl 1423.68283号 Demri,Stéphane(编辑)等人,《自动推理》。2014年7月19日至22日,第七届国际联合会议(IJCAR 2014)在奥地利维也纳举行,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8562, 292-306 (2014).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Jeannin}和\textit{A.Platzer},莱克特。注释计算。科学。8562、292--306(2014年;Zbl 1423.68283) 全文: 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 (英语) Zbl 1291.68273号 形式方法系统。设计。 43,第2期,338-367(2013).MSC公司:第68季度第60季度 87年第68季度 10层62层 62F03型 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,《形式方法系统》。设计。43,No.2,338--367(2013;Zbl 1291.68273) 全文: 内政部
安德烈·普拉泽 混合系统的完全证明理论。 (英语) Zbl 1364.03045号 2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。541-550 (2012).MSC公司:03B80号 03财年03 34A38型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},in:2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2012,克罗地亚杜布罗夫尼克,2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。541-550(2012年;Zbl 1364.03045) 全文: 内政部
安德烈·普拉泽 动力系统的逻辑学。 (英语) Zbl 1362.68178号 2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。13-24 (2012).MSC公司:第68季度第60季度 03B45号 03B70号 37B10号机组 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},in:2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2012,克罗地亚杜布罗夫尼克,2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。13-24(2012;Zbl 1362.68178) 全文: 内政部
安德烈·普拉泽 混合系统的逻辑分析:复杂性挑战的完整答案。 (英语) Zbl 1322.68133号 J.汽车。语言梳。 17,编号2-4,265-275(2012).MSC公司:第68季度第60季度 03B70号 34A38型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。语言梳。17、编号2--4、265--275(2012;Zbl 1322.68133) 全文: 内政部
安德烈·普拉泽 分布式混合系统的量化微分动态逻辑的完全公理化。 (英语) Zbl 1261.03113号 日志。计算方法。科学。 8,第4号,第17号文件,第44页(2012年).MSC公司:03B70号 34A38型 64岁以下 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},日志。计算方法。科学。8,第4号,第17号论文,44页(2012;Zbl 1261.03113) 全文: 内政部 arXiv公司
安德烈·普拉泽 微分不变量的结构和微分截消元。 (英语) 兹比尔1261.03112 日志。计算方法。科学。 8,第4号,第16号论文,38页(2012).MSC公司:03B70号 05年3月 34A38型 34立方厘米 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},日志。计算方法。科学。8,第4号,第16号论文,38页(2012;Zbl 1261.03112) 全文: 内政部 arXiv公司
安德烈·普拉泽 混合系统的逻辑分析。对复杂性挑战的完整回答。 (英语) Zbl 1304.68131号 Kutrib,Martin(编辑)等人,《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31622-7/pbk)。计算机科学课堂讲稿7386,43-49(2012)。MSC公司:第68季度第60季度 03B70号 34A38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。7386、43-49(2012;Zbl 1304.68131) 全文: 内政部
安德烈·普拉泽 方程微分不变量的微分算子方法(特邀论文)。 (英语) Zbl 1360.68596号 Beringer、Lennart(编辑)等,《交互式定理证明》。第三届国际会议,2012年ITP,美国新泽西州普林斯顿,2012年8月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32346-1/pbk)。计算机科学课堂讲稿7406,28-48(2012)。MSC公司:第68季度第60季度 03B70号 34A38型 34立方厘米 35B06型 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。7406,28-48(2012;Zbl 1360.68596) 全文: 内政部
安德烈·普拉泽 动态系统的动态逻辑。 arXiv:1205.4788 预印本,arXiv:1205.4788[cs.LO](2012)。MSC公司:03B70号 03B45号 03财年03 第68季度第60季度 34A38型 64岁以下 34立方厘米 37甲10 60 H10型 03D78号 BibTeX公司 引用 \textit{A.Platzer},“动态系统的动态逻辑”,预印本,arXiv:1205.4788[cs.LO](2012) 全文: arXiv公司 OA许可证
安德烈·普拉泽 随机混合程序的随机微分动态逻辑。 (英语) 兹比尔1341.68030 Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。第23届自动扣款国际会议,2011年7月31日至8月5日,波兰弗罗茨瓦夫。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,446-460(2011)。MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。6803446--460(2011;Zbl 1341.68030) 全文: 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 (英语) Zbl 1361.68154号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-60558-955-8)。243-252 (2010).MSC公司:第68季度第60季度 62立方厘米10 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。243-252(2010年;Zbl 1361.68154) 全文: 内政部
安德烈·普拉泽 分布式混合系统的量化微分动态逻辑。 (英语) Zbl 1287.03075号 Dawar,Anuj(编辑)等人,《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会,EACSL第19届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15204-7/pbk)。计算机科学课堂讲稿6247469-483(2010)。MSC公司:03B70号 64岁以下 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。6247、469--483(2010年;Zbl 1287.03075) 全文: 内政部
安德烈·普拉泽 微分代数程序的微分代数动态逻辑。 (英语) Zbl 1191.03024号 J.日志。计算。 20,第1号,309-352(2010).MSC公司:03B70号 03B35型 68号30 第68季度第60季度 68吨15 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Log。计算。20,编号1309-352(2010年;兹bl 1191.03024) 全文: 内政部
安德烈·普拉泽;贾·戴维德·奎塞尔;菲利普·吕默 真实验证。 (英语) Zbl 1250.68197号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,485-501(2009)。MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}等人,Lect。注释计算。科学。5663、485--501(2009年;Zbl 1250.68197) 全文: 内政部
安德烈·普拉泽 混合系统的微分动态逻辑。 (英语) 兹比尔1181.03035 J.汽车。推理 41,第2期,143-189(2008); 更正同上,第66号,第173(2022)。MSC公司:03B70号 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理41,No.2,143--189(2008;Zbl 1181.03035) 全文: 内政部
安德烈·普拉泽;贾·戴维德·奎塞尔 KeYmaera:混合系统的混合定理证明器。(系统描述)。 (英语) Zbl 1165.68469号 阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。人工智能课堂讲稿,171-178(2008)。MSC公司:68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{J.-D.Quesel},莱克特。注释计算。科学。5195、171--178(2008年;Zbl 1165.68469) 全文: 内政部
安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 计算混合系统的微分不变量作为固定点。 (英语) Zbl 1155.68445号 Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123176-189(2008)。MSC公司:第68季度第60季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke},莱克特。注释计算。科学。5123176--189(2008年;Zbl 1155.68445) 全文: 内政部
安德烈·普拉泽 用于混合系统推理的微分逻辑。 (英语) Zbl 1221.03023号 Bempoad,Alberto(编辑)等人,《混合系统:计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71492-7/pbk)。计算机科学课堂讲稿4416,746-749(2007)。MSC公司:03B70号 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。4416、746--749(2007;Zbl 1221.03023) 全文: 内政部
安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 混合系统模型检测中的图像计算问题。 (英语) Zbl 1221.93118号 Bempoad,Alberto(编辑)等人,《混合系统:计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71492-7/pbk)。《计算机科学讲义》4416473-486(2007)。MSC公司:93立方 第68季度第60季度 93个B03 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke},莱克特。注释计算。科学。4416、473--486(2007年;Zbl 1221.93118) 全文: 内政部
达姆,沃纳;阿尔弗雷德·米克施尔;延斯·奥勒金;奥尔德罗格(Ernst-Rüdiger Olderog);庞、军;安德烈·普拉泽;马克·塞格尔肯;鲍里斯·维茨 自动验证交通应用程序中的合作、控制和设计。 (英语) Zbl 1151.68476号 Jones,Cliff B.(编辑)等人,《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-75220-2/pbk)。计算机科学课堂讲稿4700,115-169(2007)。MSC公司:第68季度第60季度 90B20型 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,Lect。注释计算。科学。4700、115--169(2007年;Zbl 1151.68476) 全文: 内政部
安德烈·普拉泽 一种用于验证混合系统不变量的时间动态逻辑。 (英语) Zbl 1132.03338号 Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,457-471(2007)。MSC公司:03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。45144457-471(2007年;兹bl 1132.03338) 全文: 内政部
安德烈·普拉泽 用于验证参数混合系统的微分动态逻辑。 (英语) Zbl 1132.68478号 Olivetti,Nicola(编辑),《使用分析表和相关方法的自动推理》。第16届国际会议,2007年7月3日至6日,法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73098-9/pbk)。计算机科学课堂讲稿4548。《人工智能讲义》,216-232(2007)。MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。4548216--232(2007年;Zbl 1132.68478) 全文: 内政部
伯恩哈德·贝克特;安德烈·普拉泽 具有非刚性功能的动态逻辑。 (英语) Zbl 1222.03030号 Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,266-280(2006)。MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}和\textit{A.Platzer},莱克特。注释计算。科学。4130,266--280(2006;Zbl 1222.03030) 全文: 内政部