APA-Zitierstil (7. Ausg.)

Ma, L., Liu, Z., Yu, H., & Chen, Y. (2025). Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications.

Chicago-Zitierstil (17. Ausg.)

Ma, Liqian, Zishun Liu, Hongzhe Yu, und Yongxin Chen. Safety Verification of Stochastic Systems Under Signal Temporal Logic Specifications. 2025.

MLA-Zitierstil (9. Ausg.)

Ma, Liqian, et al. Safety Verification of Stochastic Systems Under Signal Temporal Logic Specifications. 2025.