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.
Citazione stile Chigago Style (17a edizione)Cui, Bohan, Jianing Zhao, Yu Chen, Alessandro Abate, Marta Kwiatkowska, e Xiang Yin. Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach. 2026.
Citatione MLA (9a ed.)Cui, Bohan, et al. Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.