Learning Verifiable Control Policies Using Relaxed Verification. - Puja Chaudhury; Alexander Estornell; Michael Everett (CoRR, 2025)