APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Bersani, Marcello M., Matteo Camilli, Livia Lestingi, Raffaela Mirandola, and 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.

MLA (9th ed.) Citation

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.