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 dblp
%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 = {2020-12-25T00:00:00.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://puma.ub.uni-stuttgart.de/bibtex/25d6b399daf35e94d4aaffda8ed3dd98f/dblp},
ee = {https://www.wikidata.org/entity/Q98283391},
interhash = {10c28e1631e3da5a11e52150ec029601},
intrahash = {5d6b399daf35e94d4aaffda8ed3dd98f},
journal = {IEEE Trans. Hum. Mach. Syst.},
keywords = {dblp},
number = 2,
pages = {186-196},
timestamp = {2022-01-06T11:08:43.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
}