PROACTIVE DECISION MAKING FOR AUTONOMOUS SYSTEMS: A FORMAL METHODS APPROACH

$509,998FY2017Department of the NavyDOD

The Leland Stanford Junior University

Investigators

PROACTIVE DECISION MAKING FOR AUTONOMOUS SYSTEMS: A FORMAL METHODS APPROACH · GrantIndex