logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

André Platzer

helmholtz association

37H指数
244论文数
5.6K被引数
收录论文 10
发表时间
logo
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes从 zonotopes 到证明证书：安全控制包络的正式管道
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias
err分享
err收藏
Safe Temperature Regulation: Formally Verified and Real-World Validated安全温度调节：形式化验证和真实世界验证
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errIsasa, Carlos; El Wafa, Noah Abou; Gomes, Claudio; Larsen, Peter Gorm; Platzer, Andre
err分享
err收藏
Semi-competitive Differential Game Logic半竞争微分博弈逻辑
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errButte, Julia; Platzer, Andre
err分享
err收藏
Verification of Autonomous Neural Car Control with KeYmaera X使用KeYmaera X验证自主神经汽车控制
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errPrebet, Enguerrand; Teuber, Samuel; Platzer, Andre
err分享
err收藏
Axiomatization of Compact Initial Value Problems: Open Properties紧初值问题的公理化：开放性质
errJournal of the ACM
IF2.5
err2025-12-01
err0
PREAI
errPlatzer, Andre; Qian, Long
err分享
err收藏
Formal verification of obstacle avoidance and navigation of ground robots地面机器人避障与导航的形式化验证
errINTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF5
err2017-10-10
err58
errOAAI
errMitsch, Stefan; Ghorbal, Khalil; Vogelbacher, David; Platzer, Andre
err分享
err收藏
High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL
errIEEE CONTROL SYSTEMS MAGAZINE
IF6.3
err2017-04-01
err23
PREAI
errFranchetti, Franz; Low, Tze Meng; Mitsch, Stefan; Mendoza, Juan Pablo; Gui, Liangyan; Phaosawasdi, Amarin; Padua, David; Kar, Soummya; Moura, Jose M. F.; Franusich, Michael; Johnson, Jeremy; Platzer, Andre; Veloso, Manuela M.
err分享
err收藏
Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems动态空间系统中定性和混合推理的基于逻辑的建模方法
errACM COMPUTING SURVEYS
IF28
err2015-08-10
err5
PREAI
errMitsch, Stefan; Platzer, Andre; Retschitzegger, Werner; Schwinger, Wieland
err分享
err收藏
Supporting Heterogeneity in Cyber-Physical Systems Architectures
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2014-12-01
err63
PREAI
errRajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, Andre; Schmerl, Bradley
err分享
err收藏
Verification of Cyberphysical Transportation Systems
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2009-07-01
err20
PREAI
errPlatzer, Andre
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
José M. F. Moura
H 指数: 77 · 论文数: 970
M
Manuela Veloso
H 指数: 66 · 论文数: 750
D
David Padua
H 指数: 65 · 论文数: 1.3K
D
David Garlan
H 指数: 57 · 论文数: 234
B
Bruce H. Krogh
H 指数: 55 · 论文数: 299
查看更多