KIT | KIT-Bibliothek | Impressum | Datenschutz

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning

Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela 1; Rossi, Matteo
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

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 Ziel 17 – Partnerschaften zur Erreichung der Ziele

Download
Originalveröffentlichung
DOI: 10.1109/FormaliSE58978.2023.00010
Scopus
Zitationen: 3
Dimensions
Zitationen: 3
Seitenaufrufe: 59
seit 09.10.2024
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page