Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2024 |
Sprache | Englisch |
Identifikator | ISSN: 2192-5283 KITopen-ID: 1000178713 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Erschienen in | Report from Dagstuhl Seminar 24182 |
Veranstaltung | Dagstuhl Seminar 24182 (2024), Dagstuhl, Deutschland, 28.04.2024 – 03.05.2024 |
Verlag | Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI) |
Seiten | 142–163 |
Serie | Dagstuhl Reports ; 14 |
Schlagwörter | artificial intelligence, antifragility, autonomous systems, disturbance, ethics, formal methods, machine learning, nondeterminism, resilience, safety, self-adaptive systems, validation and verification, uncertainty, General and reference → Reliability, General and reference → Metrics, General and reference → Validation, Computer systems organization → Embedded and cyber-physical systems, Computer systems organization → Dependable and fault-tolerant systems and networks, Software and its engineering, Theory of computation → Logic, Mathematics of computing → Probability and statistics, Computing methodologies → Artificial intelligence, Computing methodologies → Machine learning, Human-centered computing |