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

Bersani, Marcello M.;Camilli, Matteo;Lestingi, Livia;Mirandola, Raffaela;Rossi, Matteo
2023-01-01

2023
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)
979-8-3503-1263-8
File in questo prodotto:
File Dimensione Formato  
2023051363.pdf

embargo fino al 03/07/2024

Descrizione: Accepted Version
: Pre-Print (o Pre-Refereeing)
Dimensione 832.05 kB
Formato Adobe PDF
832.05 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1243584
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact