APA (7th ed.) Citation

Pond, E., & Hale, M. (2025). Verification and Synthesis Methods for High-Order Control Barrier Functions.

Chicago Style (17th ed.) Citation

Pond, Ellie, and Matthew Hale. Verification and Synthesis Methods for High-Order Control Barrier Functions. 2025.

MLA (9th ed.) Citation

Pond, Ellie, and Matthew Hale. Verification and Synthesis Methods for High-Order Control Barrier Functions. 2025.

Warning: These citations may not always be 100% accurate.