APA (7th ed.) Citation

Daggitt, M. L., Komendantskaya, E., Sirman, A., Bruni, A., Teuber, S., Smart, J., & Passmore, G. (2026). Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice.

Chicago Style (17th ed.) Citation

Daggitt, Matthew L., Ekaterina Komendantskaya, Alistair Sirman, Alessandro Bruni, Samuel Teuber, Josh Smart, and Grant Passmore. Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice. 2026.

MLA (9th ed.) Citation

Daggitt, Matthew L., et al. Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice. 2026.