Dokument: Prüfverfahren für KI-basierte Komponenten im Eisenbahnbetrieb (KI-LOK Abschlussbericht)
| Titel: | Prüfverfahren für KI-basierte Komponenten im Eisenbahnbetrieb (KI-LOK Abschlussbericht) | |||||||
| Weiterer Titel: | Test Procedures for AI-based Components for Railway Systems (KI-LOK Final Report) | |||||||
| URL für Lesezeichen: | https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=67987 | |||||||
| URN (NBN): | urn:nbn:de:hbz:061-20250120-134832-2 | |||||||
| Kollektion: | Publikationen | |||||||
| Sprache: | Deutsch | |||||||
| Dokumententyp: | Wissenschaftliche Texte » Sonstiger wissenschaftlicher Text | |||||||
| Medientyp: | Text | |||||||
| Autoren: | Univ.-Prof. Dr. Leuschel, Michael [Autor] Gruteser, Jan [Autor] Roßbach, Jan [Autor] | |||||||
| Dateien: |
| |||||||
| Stichwörter: | Formale Methoden, Künstliche Intelligenz, Zugleitsysteme, Zertifizierung | |||||||
| Dokumententyp (erweitert): | Sonstiges | |||||||
| Dewey Dezimal-Klassifikation: | 000 Informatik, Informationswissenschaft, allgemeine Werke » 004 Datenverarbeitung; Informatik | |||||||
| Beschreibungen: | Abschlussbericht des KI-LOK Forschungsprojekts. Im Projekt wurden Techniken für die Validierung und Verifikation KI-basierter Systeme der Bahntechnik sowie modellbasierte Methoden zum Test von autonomen Zugsystemen erforschtFinal report of the KI-LOK research project. The project studies validation, verification and model-based testing of AI-based train control systems. | |||||||
| Lizenz: |  Dieses Werk ist lizenziert unter einer Creative Commons Namensnennung 4.0 International Lizenz | |||||||
| Fachbereich / Einrichtung: | Mathematisch- Naturwissenschaftliche Fakultät » WE Informatik » Softwaretechnik und Programmiersprachen | |||||||
| Dokument erstellt am: | 20.01.2025 | |||||||
| Dateien geändert am: | 20.01.2025 |
