1 paper across 1 session
We provide a counterfactual semantics for hybrid dynamical systems and prove that intervention preserves sufficient conditions for solution existence, uniqueness, and measurability.