Establishes completeness of axiomatization for robust safety of polynomial DE systems on bounded horizons, reducing to polynomial invariants with approximate decidability via subanalytic geometry.
SpaceEx: Scalable Verification of Hybrid Systems
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Optimizing blended-wing-body aircraft wing half-spans via reachable sets of linear longitudinal dynamics yields up to 30% lower angle-of-attack tracking error on the resulting nonlinear model under reference tracking control.
citing papers explorer
No citing papers match the current filters.