← SearchABNORMAL BEHAVIOR INFERENCE OF MARITIME VESSELS USING TEMPORAL LOGICS$200,000FY2024Department of the NavyDODUniversity Of Maryland, College Park, College Park MDInvestigatorsView source on USAspending →