A Real-Analytic Approach to Differential-Algebraic Dynamic Logic. - Jonathan Hellwig; André Platzer (CADE, 2025)