Author
Number of items: 5.
Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study. (2016)
Matt Webster,
Clare Dixon,
Michael Fisher,
Maha Salem,
Joe Saunders,
Kheng Lee Koay,
K. Dautenhahn
and
Joan Saez-Pons
![]()
Towards Safe and Trustworthy Social Robots : Ethical Challenges and Practical Issues. (2015)
Maha Salem,
Gabriella Lakatos,
Farshid Amirabdollahian
and
K. Dautenhahn
![]()
Evaluating Trust and Safety in HRI : Practical Issues and Ethical Challenges. (2015)
Maha Salem
and
K. Dautenhahn
![]()
Formal verification of an autonomous personal robotic assistant. (2014)
M. Webster,
C. Dixon,
M. Fisher,
Maha Salem,
Joe Saunders,
Kheng Koay
and
K. Dautenhahn
![]()
Can you trust your robotic assistant? (2013)
F. Amirabdollahian,
K. Dautenhahn,
C. Dixon,
K. Eder,
M. Fisher,
K.L. Koay,
E. Magid,
T. Pipe,
M. Salem,
J. Saunders
and
M. Webster
![]()