Login
- Autorinnen/Autoren:
- Nenchev, Vladislav
- Dokumenttyp:
- Konferenzbeitrag / Conference Paper
- Titel:
- Incremental Invariant-Based Safety Verification of Neural Controllers
- Titel Konferenzpublikation:
- AI Verification
- Untertitel Konferenzpublikation:
- Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings
- Serie/Reihe:
- Lecture Notes in Computer Science
- Band:
- 16831
- Konferenztitel:
- International Symposium on AI Verification (3., 2026, Lisabon)
- Tagungsort:
- Lisbon, Portugal
- Jahr der Konferenz:
- 2026
- Datum Beginn der Konferenz:
- 24.07.2026
- Datum Ende der Konferenz:
- 25.07.2026
- Verlagsort:
- Cham
- Verlag:
- Springer
- Jahr:
- 2026
- Seitenbereich:
- 212-231
- Sprache:
- Englisch
- ISBN:
- 978-3-032-32357-6 ; 978-3-032-32356-9
- DOI:
- 10.1007/978-3-032-32357-6_10
- URL zum Inhalt:
- https://doi.org/10.1007/978-3-032-32357-6_10
- Fakultät:
- Fakultät für Elektrotechnik und Technische Informatik
- Institut:
- ETTI 4 - Institut für Embedded Systems
- Professorin/Professor:
- Nenchev, Vladislav
- Projekt:
- MORE
- Open Access:
- Nein / No
BibTeX