56 citations · 114 across the 13 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2020★ 1 cited
Statistical Model Checking of Human-Robot Interaction Scenarios
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani +1
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…
cs.RO2020★ 9 cited
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation
Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler
Human-Robot Collaboration (HRC) is rapidly replacing the traditional application of robotics in the manufacturing industry. Robots and human operators no longer have to perform the…