A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios

Robots are currently mostly found in industrial settings. In the future, a wider range of environments will benefit from their inclusion. This calls for the development of tools that allow professionals to set up dependable robotic applications in which people productively interact with robots aware...

Celý popis

Podrobná bibliografie

Vydáno v:	Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics s. 1907 - 1914
Hlavní autoři:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 11.10.2020
Témata:	Human-robot interaction Model checking model-driven development Physiology Probability Robots Service robots statistical model checking
ISSN:	2577-1655
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!