@ARTICLE{BremnerDFW19,
author={P. {Bremner} and L. A. {Dennis} and M. {Fisher} and A. F. {Winfield}},
journal={Proceedings of the IEEE},
title={On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots},
year={2019},
volume={},
number={},
pages={1-21},
keywords={Robots;Cognition;Ethics;Predictive models;Safety;Standards;Computer architecture;Ethics;formal verification;intelligent robots;software architecture.},
doi={10.1109/JPROC.2019.2898267},
ISSN={0018-9219},
month={},
note = {[<span  class="va">Verifiable Autonomy</span>]}}

{"_id":"T6QkwvjgDjnyxtxan","bibbaseid":"bremner-dennis-fisher-winfield-onproactivetransparentandverifiableethicalreasoningforrobots-2019","downloads":1,"creationDate":"2019-02-25T12:44:19.408Z","title":"On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots","author_short":["Bremner, P.","Dennis, L. A.","Fisher, M.","Winfield, A. F."],"year":2019,"bibtype":"article","biburl":"https://autonomy-and-verification.github.io/pubs.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Bremner"],"suffixes":[]},{"firstnames":["L.","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["A.","F."],"propositions":[],"lastnames":["Winfield"],"suffixes":[]}],"journal":"Proceedings of the IEEE","title":"On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots","year":"2019","volume":"","number":"","pages":"1-21","keywords":"Robots;Cognition;Ethics;Predictive models;Safety;Standards;Computer architecture;Ethics;formal verification;intelligent robots;software architecture.","doi":"10.1109/JPROC.2019.2898267","issn":"0018-9219","month":"","note":"[<span class=\"va\">Verifiable Autonomy</span>]","bibtex":"@ARTICLE{BremnerDFW19,\nauthor={P. {Bremner} and L. A. {Dennis} and M. {Fisher} and A. F. {Winfield}},\njournal={Proceedings of the IEEE},\ntitle={On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots},\nyear={2019},\nvolume={},\nnumber={},\npages={1-21},\nkeywords={Robots;Cognition;Ethics;Predictive models;Safety;Standards;Computer architecture;Ethics;formal verification;intelligent robots;software architecture.},\ndoi={10.1109/JPROC.2019.2898267},\nISSN={0018-9219},\nmonth={},\nnote = {[<span class=\"va\">Verifiable Autonomy</span>]}}\n\n","author_short":["Bremner, P.","Dennis, L. A.","Fisher, M.","Winfield, A. F."],"key":"BremnerDFW19","id":"BremnerDFW19","bibbaseid":"bremner-dennis-fisher-winfield-onproactivetransparentandverifiableethicalreasoningforrobots-2019","role":"author","urls":{},"keyword":["Robots;Cognition;Ethics;Predictive models;Safety;Standards;Computer architecture;Ethics;formal verification;intelligent robots;software architecture."],"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["proactive","transparent","verifiable","ethical","reasoning","robots","bremner","dennis","fisher","winfield"],"keywords":["robots;cognition;ethics;predictive models;safety;standards;computer architecture;ethics;formal verification;intelligent robots;software architecture."],"authorIDs":[],"dataSources":["sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"]}