APA (7th ed.) Citation

Daggitt, M. L., Kokke, W., Atkey, R., Komendantskaya, E., Slusarz, N., & Arnaboldi, L. (2024). Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.

Chicago Style (17th ed.) Citation

Daggitt, Matthew L., Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, and Luca Arnaboldi. Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. 2024.

MLA (9th ed.) Citation

Daggitt, Matthew L., et al. Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. 2024.