Value Functions as Supermartingale Certificates. - Alessandro Abate; Daniel Contro; Mirco Giacobbe; Agustín E. Martinez Suñé; Diptarko Roy (CoRR, 2026)