@book{dennisfisher23,
author={Louise A. Dennis and Michael Fisher},
title={Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines},
publisher={Cambridge University Press},
year={2023},
note = {[<span class="rain">RAIN</span>, <span class="fs">FAIR-Space</span>,<span class="tas_vn">TAS Verifiability Node</span>,<span class="va">Verifiable Autonomy</span>,<span class="raeng">RAEng</span>]}
}

{"_id":"fubTjYcMcoXSB3o67","bibbaseid":"dennis-fisher-verifiableautonomoussystemsusingrationalagentstoprovideassuranceaboutdecisionsmadebymachines-2023","author_short":["Dennis, L. A.","Fisher, M."],"bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines","publisher":"Cambridge University Press","year":"2023","note":"[<span class=\"rain\">RAIN</span>, <span class=\"fs\">FAIR-Space</span>,<span class=\"tas_vn\">TAS Verifiability Node</span>,<span class=\"va\">Verifiable Autonomy</span>,<span class=\"raeng\">RAEng</span>]","bibtex":"@book{dennisfisher23,\nauthor={Louise A. Dennis and Michael Fisher},\ntitle={Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines},\npublisher={Cambridge University Press},\nyear={2023},\nnote = {[<span class=\"rain\">RAIN</span>, <span class=\"fs\">FAIR-Space</span>,<span class=\"tas_vn\">TAS Verifiability Node</span>,<span class=\"va\">Verifiable Autonomy</span>,<span class=\"raeng\">RAEng</span>]}\n}\n\n","author_short":["Dennis, L. A.","Fisher, M."],"key":"dennisfisher23","id":"dennisfisher23","bibbaseid":"dennis-fisher-verifiableautonomoussystemsusingrationalagentstoprovideassuranceaboutdecisionsmadebymachines-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"],"keywords":[],"search_terms":["verifiable","autonomous","systems","using","rational","agents","provide","assurance","decisions","made","machines","dennis","fisher"],"title":"Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines","year":2023}