Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Daggitt, Matthew L. ; Komendantskaya, Ekaterina; Sirman, Alistair; Bruni, Alessandro; Teuber, Samuel
1; Smart, Josh; Passmore, Grant
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Smart, Josh; Passmore, Grant1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 17.08.2026 |
| Sprache | Englisch |
| Identifikator | ISSN: 2475-1421 KITopen-ID: 1000196573 |
| Erschienen in | Proceedings of the ACM on Programming Languages |
| Verlag | Association for Computing Machinery (ACM) |
| Band | 10 |
| Heft | ICFP |
| Seiten | 204–235 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | OpenAlex Scopus |