Citazione Stile APA (7a Edizione)

Tran, D., Choi, S. W., Li, Y., Liu, Q., Okamoto, H., Hoxha, B., & Fainekos, G. (2025). StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems. Zenodo.

Citazione stile Chigago Style (17a edizione)

Tran, Dung, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, e Georgios Fainekos. StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems. Zenodo, 2025.

Citatione MLA (9a ed.)

Tran, Dung, et al. StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems. Zenodo, 2025.