[WWA+20] Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher and Anthony G. Pipe. A corroborative approach to verification and validation of human–robot teams. International Journal of Robotics Research, 39(1). 2020. [Presents an approach for the verification and validation of robot assistants including the use of model checking with PRISM.]
Links: [Google] [Google Scholar]