Citáce podľa APA (7th ed.)

Zeng, X., Ren, M., Liu, Z., & Yang, Z. (2025, June 22). Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11132490

Citácia podle Chicago (17th ed.)

Zeng, Xia, Mengxin Ren, Zhiming Liu, a Zhengfeng Yang. "Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11132490.

Citácia podľa MLA (8th ed.)

Zeng, Xia, et al. "Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11132490.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..