TY  - RPRT
TI  - Stochastic Omega-Regular Verification and Control with Supermartingales
AU  - Alessandro Abate
AU  - Mirco Giacobbe
AU  - Diptarko Roy
PY  - 2024
UR  - https://arxiv.org/abs/2405.17304
ID  - 2405.17304
ER  -