ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Yangge Li; Sayan Mitra; Christian Schilling 001; Mark Wetzlinger; Daniel Zhuang (ARCH, 2023)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger; et al. (ARCH, 2023)

Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. - Yangge Li; Benjamin C. Yang; Yixuan Jia; Daniel Zhuang; Sayan Mitra (CoRR, 2023)

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