Our paper on generalizing safety analysis for constraints beyond collision-avoidance was just accepted to RSS 2025!