Linear Algorithmic Checksums for Deep-Neural-Network Error Detection: Fundamentals and Recent Advancements - Ozen, E.; Ozerdem, O.; Orailoglu, A. (IEEE Design & Test, Design & Test, IEEE, IEEE Des. Test, 2025)