A Counterfactual Semantics for Hybrid Dynamical Systems - Zane, Andy; Batenkov, Dmitry; Urbaniak, Rafal; Zucker, Jeremy; Witty, Sam (Advances in Neural Information Processing Systems, 2025)