MURI EMBEDDED HUMANS: PROVABLY CORRECT DECISION MAKING FOR NETWORKS OF HUMANS AND UNMANNED SYSTEMS

Regents Of The University Of California, The

Investigators