Certified training aims to produce models whose predictions can be formally verified against adversarial perturbations, typically by optimising upper bounds on the worst-case loss over an allowed perturbation set. For neural networks, certified training methods based purely on ti…
The rise of Industry 4.0 has accelerated the adoption of intelligent automation in high-throughput manufacturing environments. Automated guided vehicles (AGVs) rely heavily on magnetic guidance tracks, which are susceptible to wear, contamination, and structural degradation. Thes…