ForMAD: Formal Methods for Anomaly Detectors

Goal An anomaly is “a person or thing that is different from what is usual“​*​. Detecting such anomalies in large … Continue reading ForMAD: Formal Methods for Anomaly Detectors