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

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Daggitt, Matthew L., Komendantskaya, Ekaterina, Sirman, Alistair, Bruni, Alessandro, Teuber, Samuel, Smart, Josh, Passmore, Grant
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!