Summary
This NSF CAREER project aims to develop foundations that allow autonomous systems to learn from data while reliably respecting safety constraints. AI-enabled vehicles, robots, and infrastructure controllers are moving into public spaces and critical services, where rare mistakes can cause injuries or cascading disruptions. Many modern learning components provide limited guarantees: they may violate constraints, fail when conditions differ from training data, or scale poorly when many decision makers must coordinate. The project will bring transformative change by making safety and reliability
