Axiomatization of Compact Initial Value Problems: Open Properties. - Platzer, André; Qian, Long (Journal of the ACM, 2025)