APA (7th ed.) Citation

Walker, T., & Lomuscio, A. (2024). Tightening the Evaluation of PAC Bounds Using Formal Verification Results.

Chicago Style (17th ed.) Citation

Walker, Thomas, and Alessio Lomuscio. Tightening the Evaluation of PAC Bounds Using Formal Verification Results. 2024.

MLA (9th ed.) Citation

Walker, Thomas, and Alessio Lomuscio. Tightening the Evaluation of PAC Bounds Using Formal Verification Results. 2024.

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