APA (7th ed.) Citation

Shakhesi, E., Heemels, W. P. M. H., & Katriniok, A. (2024). Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach.

Chicago Style (17th ed.) Citation

Shakhesi, Erfan, W. P. M. H. Heemels, and Alexander Katriniok. Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach. 2024.

MLA (9th ed.) Citation

Shakhesi, Erfan, et al. Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach. 2024.