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
Citace podle Chicago (17th ed.)Lestingi, Livia, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, a 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.
Citace podle MLA (9th ed.)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.