Principal Researcher, Sorbus AI
1 paper at NeurIPS 2025
We provide a counterfactual semantics for hybrid dynamical systems and prove that intervention preserves sufficient conditions for solution existence, uniqueness, and measurability.