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

The human-machine teaming paradigm promotes tight teamwork between humans and autonomous machines that collaborate in the same physical space. This paradigm is increasingly widespread in critical domains, such as healthcare and domestic assistance. These systems are expected to build a certain level...

Full description

Bibliographic Details

Published in:	FME Workshop on Formal Methods in Software Engineering (Online) pp. 18 - 28
Main Authors:	Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2023
Subjects:	formal analysis Human-machine teaming interpretable machine learning statistical model checking
ISSN:	2575-5099
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!