EasyChair Smart Slide
A Cascade of Checkers for Run-Time Certification of Local Robustness
A Cascade of Checkers for Run-Time Certification of Local Robustness