Current projects

Formal Specifications of Autonomous Systems

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

Planning with Conflicting Specifications

Develop planning and decision-making algorithms with multiple, potentially conflicting objectives.