Citazione Stile APA (7a Edizione)

Akella, P., Ahmadi, M., Murray, R. M., & Ames, A. D. (2023). Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.

Citazione stile Chigago Style (17a edizione)

Akella, Prithvi, Mohamadreza Ahmadi, Richard M. Murray, e Aaron D. Ames. Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. 2023.

Citatione MLA (9a ed.)

Akella, Prithvi, et al. Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. 2023.