Published June 16, 2026 | Version v3
Software Open

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Artefact

Authors/Creators

  • 1. ROR icon The University of Western Australia
  • 2. ROR icon University of Southampton
  • 3. ROR icon IT University of Copenhagen
  • 4. ROR icon Karlsruhe Institute of Technology
  • 5. Imandra Inc

Files

vehicle-artefact.zip

Files (5.1 GB)

Name Size
md5:2ec855011921432a423494e143dc4733
5.1 GB Preview Download