Adi Oltean

Exact-Rational Certificates in Podium: Constructions, Proofs, and Prior Art

This note collects the constructions, proofs, and prior-art positioning behind the exact-rational certificates in the Podium library (podium.verify): barrier certificates for abort safety, Karush-Kuhn-Tucker certificates for the online convex solves, control-Lyapunov certificates...