André Platzer
- Differential Equation Invariance Axiomatization
2020/02/29 by André Platzer, Yong Kiam Tan · 9 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Axiomatization of Compact Initial Value Problems: Open Properties
2024/10/17 by André Platzer, Platzer, André, Long Qian +1 · 1 voice · 3 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, programming, and type systems #Advanced Optimization Algorithms Research
- Adaptive Shielding via Parametric Safety Proofs
2025/02/26 by Yao Feng, Feng, Yao, Jun Zhu +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Formal Methods in Verification #Reinforcement Learning in Robotics
- Subreflexive Logic: Completeness without Identity
2026/07/27 by Noah Abou El Wafa, André Platzer
#cs.LO #math.LO
- Three-player Differential Game Logic
2026/07/24 by Julia Butte, André Platzer
Computer Science · #acm:03B70 #acm:34A38 #acm:91A06 #acm:91A25 #cs.GT #cs.LO #msc:03B70 #msc:34A38 #msc:91A06 #msc:91A25