Login
- Authors:
- Nenchev, Vladislav
- Document type:
- Konferenzbeitrag / Conference Paper
- Title:
- Incremental Invariant-Based Safety Verification of Neural Controllers
- Title of conference publication:
- AI Verification
- Subtitle of conference publication:
- Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings
- Series title:
- Lecture Notes in Computer Science
- Series volume:
- 16831
- Conference title:
- International Symposium on AI Verification (3., 2026, Lisabon)
- Venue:
- Lisbon, Portugal
- Year of conference:
- 2026
- Date of conference beginning:
- 24.07.2026
- Date of conference ending:
- 25.07.2026
- Place of publication:
- Cham
- Publisher:
- Springer
- Year:
- 2026
- Pages from - to:
- 212-231
- Language:
- Englisch
- ISBN:
- 978-3-032-32357-6 ; 978-3-032-32356-9
- DOI:
- 10.1007/978-3-032-32357-6_10
- URL:
- https://doi.org/10.1007/978-3-032-32357-6_10
- Department:
- Fakultät für Elektrotechnik und Technische Informatik
- Institute:
- ETTI 4 - Institut für Embedded Systems
- Chair:
- Nenchev, Vladislav
- Project:
- MORE
- Open Access yes or no?:
- Nein / No
BibTeX