Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming. - Shaun Mathew; Mikhail Soutchanski (IPS-RCRA-SPIRIT@AI*IA, 2023)