APA (7th ed.) Citation

Cui, B., Zhao, J., Chen, Y., Abate, A., Kwiatkowska, M., & Yin, X. (2026). Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach.

Chicago Style (17th ed.) Citation

Cui, Bohan, Jianing Zhao, Yu Chen, Alessandro Abate, Marta Kwiatkowska, and Xiang Yin. Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach. 2026.

MLA (9th ed.) Citation

Cui, Bohan, et al. Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach. 2026.