Wu, H., Feng, S., Gan, T., Wang, J., Xia, B., & Zhan, N. (2023). On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.
Style de citation Chicago (17e éd.)Wu, Hao, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, et Naijun Zhan. On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. 2023.
Style de citation MLA (9e éd.)Wu, Hao, et al. On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.