Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems. - Ratnangshu Das; Shubham Sawarkar; Pushpak Jagtap (CoRR, 2025)