Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2021). A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE access, 9, 136616-136635. https://doi.org/10.1109/ACCESS.2021.3117852
Chicago Style (17th ed.) CitationLestingi, Livia, Mehrnoosh Askarpour, Marcello M. Bersani, and Matteo Rossi. "A Deployment Framework for Formally Verified Human-Robot Interactions." IEEE Access 9 (2021): 136616-136635. https://doi.org/10.1109/ACCESS.2021.3117852.
MLA (9th ed.) CitationLestingi, Livia, et al. "A Deployment Framework for Formally Verified Human-Robot Interactions." IEEE Access, vol. 9, 2021, pp. 136616-136635, https://doi.org/10.1109/ACCESS.2021.3117852.
Warning: These citations may not always be 100% accurate.