Inproceedings,
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
M. Bersani, M. Camilli, L. Lestingi, R. Mirandola, and M. Rossi.FormaliSE, page 18-28. IEEE, (2023)
Meta data
- BibTeX key
- conf/icse-formalise/BersaniCLMR23
- entry type
- inproceedings
- booktitle
- FormaliSE
- year
- 2023
- pages
- 18-28
- publisher
- IEEE
- crossref
- conf/icse-formalise/2023
- ee
- https://doi.org/10.1109/FormaliSE58978.2023.00010
- isbn
- 979-8-3503-1263-8
- url
- http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2023.html#BersaniCLMR23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse-formalise/BersaniCLMR23
%A Bersani, Marcello M.
%A Camilli, Matteo
%A Lestingi, Livia
%A Mirandola, Raffaela
%A Rossi, Matteo G.
%B FormaliSE
%D 2023
%I IEEE
%K dblp
%P 18-28
%T Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
%U http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2023.html#BersaniCLMR23
%@ 979-8-3503-1263-8
@inproceedings{conf/icse-formalise/BersaniCLMR23,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Bersani, Marcello M. and Camilli, Matteo and Lestingi, Livia and Mirandola, Raffaela and Rossi, Matteo G.},
biburl = {https://www.bibsonomy.org/bibtex/21b42b2dd93801bcaeea5404e813dd87f/dblp},
booktitle = {FormaliSE},
crossref = {conf/icse-formalise/2023},
ee = {https://doi.org/10.1109/FormaliSE58978.2023.00010},
interhash = {ba3cd43eea45b5ef176231e40e75ee26},
intrahash = {1b42b2dd93801bcaeea5404e813dd87f},
isbn = {979-8-3503-1263-8},
keywords = {dblp},
pages = {18-28},
publisher = {IEEE},
timestamp = {2024-04-09T20:56:50.000+0200},
title = {Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.},
url = {http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2023.html#BersaniCLMR23},
year = 2023
}