README · main · Formal Methods and Tools / Recoater Streaking Benchmark / A Comparison of Anomaly Detection Algorithms with applications on Recoater Streaking in an Additive Manufacturing Process