Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.

Autor:	Lestingi, Livia1 (AUTHOR) livia.lestingi@polimi.it, Manglaviti, Andrea1 (AUTHOR), Marinaro, Davide1 (AUTHOR), Marinello, Luca1 (AUTHOR), Askarpour, Mehrnoosh2 (AUTHOR), Bersani, Marcello M.1 (AUTHOR), Rossi, Matteo3 (AUTHOR)
Zdroj:	Software & Systems Modeling. Apr2024, Vol. 23 Issue 2, p473-502. 30p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.