arXiv · 2026

Differential Equation Inductive Robustness Axiomatization

André Platzer and Long Qian^α

Authors listed in alphabetical order.

arXiv · Preprint

PDF arXiv

BibTeX

@misc{platzer2026robustness,
  title = {Differential Equation Inductive Robustness Axiomatization},
  author = {André Platzer and Long Qian},
  year = {2026},
  eprint = {2606.18685},
  archivePrefix = {arXiv}
}

Overview

A complete axiomatization for robust safety of polynomial differential equations on bounded time horizons, connecting symbolic proofs with approximate decision procedures.