ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers. - Vrushabh Zinage; Narek Harutyunyan; Eric Verheyden; Fred Y. Hadaegh; Soon-Jo Chung (IEEE Robotics Autom. Lett., 2026)