APA (7th ed.) Citation

Boetius, D., Leue, S., & Sutter, T. (2024). Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound.

Chicago Style (17th ed.) Citation

Boetius, David, Stefan Leue, and Tobias Sutter. Solving Probabilistic Verification Problems of Neural Networks Using Branch and Bound. 2024.

MLA (9th ed.) Citation

Boetius, David, et al. Solving Probabilistic Verification Problems of Neural Networks Using Branch and Bound. 2024.