Chevalier, S., Starkenburg, D., & Dvijotham, K. (2024). Achieving the Tightest Relaxation of Sigmoids for Formal Verification.
Citazione stile Chigago Style (17a edizione)Chevalier, Samuel, Duncan Starkenburg, e Krishnamurthy Dvijotham. Achieving the Tightest Relaxation of Sigmoids for Formal Verification. 2024.
Citatione MLA (9a ed.)Chevalier, Samuel, et al. Achieving the Tightest Relaxation of Sigmoids for Formal Verification. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.