Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsmonat/-jahr | 05.2023 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-83-503-1263-8 KITopen-ID: 1000174767 |
| Erschienen in | 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 18–28 |
| Nachgewiesen in | Dimensions OpenAlex Scopus |
| Globale Ziele für nachhaltige Entwicklung |