CORRECT-BY-CONSTRUCTION AUTONOMY PROTOCOLS FOR OPEN, RECONFIGURABLE, NETWORKED NAVAL SYSTEMS

Trustees Of The University Of Pennsylvania, The

Investigators