Temporal Logics for Learning and Detection of Anomalous Behavior

Document Details

Document Type: Pub Defense Publication
Publication Date: Mar 01, 2017
Source ID: 10.1109/tac.2016.2585083

Entities

People

Austin Jones
Calin Belta
Zhaodan Kong

Organizations

National Science Foundation
Office of Naval Research