@misc{daggitt2026compositionalneuralcyberphysicalverificationinteractive,
      title={Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice}, 
      author={Matthew L. Daggitt and Ekaterina Komendantskaya and Alistair Sirman and Alessandro Bruni and Samuel Teuber and Josh Smart and Grant Passmore},
      year={2026},
      eprint={2605.02790},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2605.02790}, 
}