@inproceedings{fisher2021increasing,
  title={Increasing Confidence in Autonomous Systems},
  author={Fisher, Michael and Ferrando, Angelo and Cardoso, Rafael C.},
  booktitle={Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)},
  year={2021},
  note={[<span class="raeng">RAEng</span>, <span class="rain">RAIN</span>, <span class="fs">FAIR-Space</span>, <span class="orca">ORCA</span>, <span class="tas_vn">TAS Verifiability Node</span>]}
}

{"_id":"EsTsTiLsAnvM7ySum","bibbaseid":"fisher-ferrando-cardoso-increasingconfidenceinautonomoussystems-2021","author_short":["Fisher, M.","Ferrando, A.","Cardoso, R. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Increasing Confidence in Autonomous Systems","author":[{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Ferrando"],"firstnames":["Angelo"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]}],"booktitle":"Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)","year":"2021","note":"[<span class=\"raeng\">RAEng</span>, <span class=\"rain\">RAIN</span>, <span class=\"fs\">FAIR-Space</span>, <span class=\"orca\">ORCA</span>, <span class=\"tas_vn\">TAS Verifiability Node</span>]","bibtex":"@inproceedings{fisher2021increasing,\n title={Increasing Confidence in Autonomous Systems},\n author={Fisher, Michael and Ferrando, Angelo and Cardoso, Rafael C.},\n booktitle={Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)},\n year={2021},\n note={[<span class=\"raeng\">RAEng</span>, <span class=\"rain\">RAIN</span>, <span class=\"fs\">FAIR-Space</span>, <span class=\"orca\">ORCA</span>, <span class=\"tas_vn\">TAS Verifiability Node</span>]}\n}\n\n","author_short":["Fisher, M.","Ferrando, A.","Cardoso, R. C."],"key":"fisher2021increasing","id":"fisher2021increasing","bibbaseid":"fisher-ferrando-cardoso-increasingconfidenceinautonomoussystems-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["AdmcuDNM8GSatWG9Y","iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX","jkPac6coMCnfPS9v6","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["increasing","confidence","autonomous","systems","fisher","ferrando","cardoso"],"title":"Increasing Confidence in Autonomous Systems","year":2021}