TY  - RPRT
TI  - Supermartingale Certificates for Quantitative Omega-regular Verification and Control
AU  - Thomas A. Henzinger
AU  - Kaushik Mallik
AU  - Pouya Sadeghi
AU  - Đorđe Žikelić
PY  - 2025
UR  - https://arxiv.org/abs/2505.18833
ID  - 2505.18833
ER  -