|
[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]
|