Lestingi, L., Manglaviti, A., Marinaro, D., Marinello, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2024). Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Software and systems modeling, 23(2), 473-502. https://doi.org/10.1007/s10270-023-01125-1
Chicago-Zitierstil (17. Ausg.)Lestingi, Livia, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, und Matteo Rossi. "Analyzing the Impact of Human Errors on Interactive Service Robotic Scenarios via Formal Verification." Software and Systems Modeling 23, no. 2 (2024): 473-502. https://doi.org/10.1007/s10270-023-01125-1.
MLA-Zitierstil (9. Ausg.)Lestingi, Livia, et al. "Analyzing the Impact of Human Errors on Interactive Service Robotic Scenarios via Formal Verification." Software and Systems Modeling, vol. 23, no. 2, 2024, pp. 473-502, https://doi.org/10.1007/s10270-023-01125-1.