ONR grant on Formal Methods for Learning, Monitoring, and Detection of Anomalous and Malicious Behaviors in Maritime Surveillance

in Uncategorized
July 31st, 2014

ONR N00014-14-1-0554: “Formal Methods for Learning, Monitoring, and Detection of Anomalous and Malicious Behaviors in Maritime Surveillance”, PI: C. Belta (single PI), $450,000, 6/1/2014 – 5/31/2017