AI RESEARCH
Value Functions as Supermartingale Certificates
arXiv CS.LG
•
ArXi:2605.31524v1 Announce Type: new Certification methods for stochastic systems provide sufficient proof rules, based on real-valued supermartingale certificates, to determine the almost-sure satisfaction of $\omega$-regular properties (and. therefore. of linear temporal logic) over general state spaces, encompassing both countably infinite and continuous state spaces.