Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/thms/WebsterDFSSKDS16
%A Webster, Matt
%A Dixon, Clare
%A Fisher, Michael
%A Salem, Maha
%A Saunders, Joe
%A Koay, Kheng Lee
%A Dautenhahn, Kerstin
%A Saez-Pons, Joan
%D 2016
%J IEEE Trans. Hum. Mach. Syst.
%K
%N 2
%P 186-196
%T Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.
%U http://dblp.uni-trier.de/db/journals/thms/thms46.html#WebsterDFSSKDS16
%V 46
@article{journals/thms/WebsterDFSSKDS16,
added-at = {2023-12-12T18:19:59.000+0100},
author = {Webster, Matt and Dixon, Clare and Fisher, Michael and Salem, Maha and Saunders, Joe and Koay, Kheng Lee and Dautenhahn, Kerstin and Saez-Pons, Joan},
biburl = {https://www.bibsonomy.org/bibtex/25d6b399daf35e94d4aaffda8ed3dd98f/admin},
ee = {https://doi.org/10.1109/THMS.2015.2425139},
interhash = {10c28e1631e3da5a11e52150ec029601},
intrahash = {5d6b399daf35e94d4aaffda8ed3dd98f},
journal = {IEEE Trans. Hum. Mach. Syst.},
keywords = {},
number = 2,
pages = {186-196},
timestamp = {2023-12-12T18:19:59.000+0100},
title = {Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.},
url = {http://dblp.uni-trier.de/db/journals/thms/thms46.html#WebsterDFSSKDS16},
volume = 46,
year = 2016
}