Lyapunov Perception Contracts for Operating Design Domains. - Yangge Li; Chenxi Ji; Jai Anchalia; Yixuan Jia; Benjamin C. Yang; Daniel Zhuang; Sayan Mitra (L4DC, 2025)