Kura, S., & Unno, H. (2025). A Hierarchy of Supermartingales for $ω$-Regular Verification.
Cita Chicago Style (17a ed.)Kura, Satoshi, y Hiroshi Unno. A Hierarchy of Supermartingales for $ω$-Regular Verification. 2025.
Cita MLA (9a ed.)Kura, Satoshi, y Hiroshi Unno. A Hierarchy of Supermartingales for $ω$-Regular Verification. 2025.
Precaución: Estas citas no son 100% exactas.