Sign in

Statistical Model Checking of Human-Robot Interaction Scenarios

By Livia Lestingi and others at
LogoMcMaster University
Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the human factor is predominant. This calls for the development of robotic frameworks... Show more
July 23, 2020
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Statistical Model Checking of Human-Robot Interaction Scenarios
Click on play to start listening