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á bibliografia

Vydané v:	Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics s. 1907 - 1914
Hlavní autori:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 11.10.2020
Predmet:	Human-robot interaction Model checking model-driven development Physiology Probability Robots Service robots statistical model checking
ISSN:	2577-1655
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!