@InProceedings{Fisher:WoSoCer18,
   author = {Michael Fisher and Emily Collins and Louise A.~Dennis and Matt Luckcuck and Matthew Webster and Michael Jump and Vincent Page and Charles Patchett and Fateme Dinmohammadi
            and David Flynn and Valentin Robu and Xingu Zhao},
    title = "{Verifiable Self-Certifying Autonomous Systems}",
booktitle = {Proc. 8th IEEE International Workshop on Software Certification (WoSoCer)},
year = {2018},
address = {Memphis, USA},
note = {[<span class="orca">ORCA</span>]}
}

{"_id":"ynJarFvQRJie4X93e","bibbaseid":"fisher-collins-adennis-luckcuck-webster-jump-page-patchett-etal-verifiableselfcertifyingautonomoussystems-2018","downloads":0,"creationDate":"2018-12-11T10:30:38.224Z","title":"Verifiable Self-Certifying Autonomous Systems","author_short":["Fisher, M.","Collins, E.","A.~Dennis, L.","Luckcuck, M.","Webster, M.","Jump, M.","Page, V.","Patchett, C.","Dinmohammadi, F.","Flynn, D.","Robu, V.","Zhao, X."],"year":2018,"bibtype":"inproceedings","biburl":"https://autonomy-and-verification-uol.github.io/hubpubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Emily"],"propositions":[],"lastnames":["Collins"],"suffixes":[]},{"firstnames":["Louise"],"propositions":[],"lastnames":["A.~Dennis"],"suffixes":[]},{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Webster"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Jump"],"suffixes":[]},{"firstnames":["Vincent"],"propositions":[],"lastnames":["Page"],"suffixes":[]},{"firstnames":["Charles"],"propositions":[],"lastnames":["Patchett"],"suffixes":[]},{"firstnames":["Fateme"],"propositions":[],"lastnames":["Dinmohammadi"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Flynn"],"suffixes":[]},{"firstnames":["Valentin"],"propositions":[],"lastnames":["Robu"],"suffixes":[]},{"firstnames":["Xingu"],"propositions":[],"lastnames":["Zhao"],"suffixes":[]}],"title":"Verifiable Self-Certifying Autonomous Systems","booktitle":"Proc. 8th IEEE International Workshop on Software Certification (WoSoCer)","year":"2018","address":"Memphis, USA","note":"[<span class=\"orca\">ORCA</span>]","bibtex":"@InProceedings{Fisher:WoSoCer18,\n author = {Michael Fisher and Emily Collins and Louise A.~Dennis and Matt Luckcuck and Matthew Webster and Michael Jump and Vincent Page and Charles Patchett and Fateme Dinmohammadi\n and David Flynn and Valentin Robu and Xingu Zhao},\n title = \"{Verifiable Self-Certifying Autonomous Systems}\",\nbooktitle = {Proc. 8th IEEE International Workshop on Software Certification (WoSoCer)},\nyear = {2018},\naddress = {Memphis, USA},\nnote = {[<span class=\"orca\">ORCA</span>]}\n}\n\n","author_short":["Fisher, M.","Collins, E.","A.~Dennis, L.","Luckcuck, M.","Webster, M.","Jump, M.","Page, V.","Patchett, C.","Dinmohammadi, F.","Flynn, D.","Robu, V.","Zhao, X."],"key":"Fisher:WoSoCer18","id":"Fisher:WoSoCer18","bibbaseid":"fisher-collins-adennis-luckcuck-webster-jump-page-patchett-etal-verifiableselfcertifyingautonomoussystems-2018","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["verifiable","self","certifying","autonomous","systems","fisher","collins","a.~dennis","luckcuck","webster","jump","page","patchett","dinmohammadi","flynn","robu","zhao"],"keywords":[],"authorIDs":[],"dataSources":["FoK8CAiSSBYifiy8q"]}