André Eriksson, Hedvig Kjellström. A Formal Approach to Anomaly Detection. In Maria De Marsico, Gabriella Sanniti di Baja, Ana L. N. Fred, editors, Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2016, Rome, Italy, February 24-26, 2016. pages 317-326, SciTePress, 2016. [doi]
Abstract is missing.