A Probabilistic Methodology for Predicting Injuries to Human Operators in Automated Production Lines. - Ruslan Asaula; Daniele Fontanelli; Luigi Palopoli 002 (ETFA, 2009)

Safety provisions for human/robot interactions using stochastic discrete abstractions. - Ruslan Asaula; Daniele Fontanelli; Luigi Palopoli 002 (IROS, 2010)