Current projects

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

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