圣地亚哥Jimenez Leudo;里卡多·桑费利斯(Ricardo G.Sanfelice)。 两层零和混合对策最优性和渐近稳定性的充分条件。 (英语) Zbl 07807726号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第18号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Jimenez Leudo}和\textit{R.G.Sanfelice},《第25届ACM混合系统国际会议论文集:计算和控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第18号论文,第11页(2022;Zbl 07807726) 全文: 内政部
米歇尔·博雷尔 偏微分方程的自动前置和后置条件。 (英语) Zbl 1491.35119号 Inf.计算。 285,B部分,文章ID 104860,29 p.(2022).MSC公司:35立方厘米 35A35型 35G55型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale},信息计算。285,B部分,文章ID 104860,29 p.(2022;Zbl 1491.35119) 全文: 内政部
Tan,Yong Kiam先生;安德烈·普拉泽 微分方程存在性和活性的公理方法。 (英语) Zbl 1519.68141号 正式Asp。计算。 33,编号4-5,461-518(2021).MSC公司:60年第68季度 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 07614528号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Bohrer}和\textit{A.Platzer},莱克特。注释计算。科学。12166、454--473(2020;Zbl 07614528) 全文: 内政部 arXiv公司
米歇尔·博雷尔 关于偏微分方程的余代数。 (英语) Zbl 07561668号 Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第24条,第13页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale},LIPIcs——莱布尼茨国际程序。通知。138,第24条,第13页(2019年;Zbl 07561668) 全文: 内政部
安德烈·普拉泽 一举统一换人。 (英语) Zbl 07178990号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 425-441 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},莱克特。注释计算。科学。11716、425--441(2019;Zbl 07178990) 全文: 内政部 arXiv公司
布兰登·伯勒;曼纽尔·费尔南德斯;安德烈·普拉泽 \(\mathsf){dL}_{\iota}\):微分动态逻辑中的明确描述。 (英语) Zbl 07178971号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 94-110 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Bohrer}等人,Lect。注释计算。科学。11716、94-110(2019;Zbl 07178971) 全文: 内政部
安德烈·普拉泽 微分动态逻辑的完全统一代换演算。 (英语) Zbl 1437.03119号 J.自动化。推理 59,第2期,219-265(2017).MSC公司:03B70号 03B35型 68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理59,No.2,219--265(2017;Zbl 1437.03119) 全文: 内政部 arXiv公司