CAREER: Establishing Correctness of Learning-Enabled Autonomous Systems with Conflicting Requirements (NSF)

Develop specification formalisms, control synthesis algorithms, and quantitative verification frameworks for autonomous systems that include learning-based components, operate in uncertain environments, and are subject to conflicting requirements with partially established priorities.

Formal Specifications of Autonomous Systems

Derive, analyze, and refine specifications from regulatory requirements and demonstrations.