Bersani, M. M., Camilli, M., Lestingi, L., Mirandola, R., & Rossi, M. (2023, May). Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FME Workshop on Formal Methods in Software Engineering (Online), 18-28. https://doi.org/10.1109/FormaliSE58978.2023.00010
Citace podle Chicago (17th ed.)Bersani, Marcello M., Matteo Camilli, Livia Lestingi, Raffaela Mirandola, a Matteo Rossi. "Explainable Human-Machine Teaming Using Model Checking and Interpretable Machine Learning." FME Workshop on Formal Methods in Software Engineering (Online) May. 2023: 18-28. https://doi.org/10.1109/FormaliSE58978.2023.00010.
Citace podle MLA (9th ed.)Bersani, Marcello M., et al. "Explainable Human-Machine Teaming Using Model Checking and Interpretable Machine Learning." FME Workshop on Formal Methods in Software Engineering (Online), May. 2023, pp. 18-28, https://doi.org/10.1109/FormaliSE58978.2023.00010.