@article{Luckcuck2019,
title = {{Formal Specification and Verification of Autonomous Robotic Systems: A Survey}},
author = {Luckcuck, Matt and Farrell, Marie and Dennis, Louise A. and Dixon, Clare and Fisher, Michael},
doi = {10.1145/3342355},
eprint = {1807.00048},
issn = {03600300},
journal = {ACM Comput. Surv.},
month = {sep},
number = {5},
pages = {1--41},
url = {https://arxiv.org/abs/1807.00048 http://dl.acm.org/citation.cfm?doid=3362097.3342355},
volume = {52},
year = {2019},
note = {[<span class="fs">FAIR-SPACE</span>, <span class="rain">RAIN</span>, <span class="orca">ORCA</span>]}
}

{"_id":"nWPKBznuDQJ9aGnN8","bibbaseid":"luckcuck-farrell-dennis-dixon-fisher-formalspecificationandverificationofautonomousroboticsystemsasurvey-2019","authorIDs":[],"author_short":["Luckcuck, M.","Farrell, M.","Dennis, L. A.","Dixon, C.","Fisher, M."],"bibdata":{"bibtype":"article","type":"article","title":"Formal Specification and Verification of Autonomous Robotic Systems: A Survey","author":[{"propositions":[],"lastnames":["Luckcuck"],"firstnames":["Matt"],"suffixes":[]},{"propositions":[],"lastnames":["Farrell"],"firstnames":["Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]},{"propositions":[],"lastnames":["Dixon"],"firstnames":["Clare"],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]}],"doi":"10.1145/3342355","eprint":"1807.00048","issn":"03600300","journal":"ACM Comput. Surv.","month":"sep","number":"5","pages":"1–41","url":"https://arxiv.org/abs/1807.00048 http://dl.acm.org/citation.cfm?doid=3362097.3342355","volume":"52","year":"2019","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]","bibtex":"@article{Luckcuck2019,\ntitle = {{Formal Specification and Verification of Autonomous Robotic Systems: A Survey}},\nauthor = {Luckcuck, Matt and Farrell, Marie and Dennis, Louise A. and Dixon, Clare and Fisher, Michael},\ndoi = {10.1145/3342355},\neprint = {1807.00048},\nissn = {03600300},\njournal = {ACM Comput. Surv.},\nmonth = {sep},\nnumber = {5},\npages = {1--41},\nurl = {https://arxiv.org/abs/1807.00048 http://dl.acm.org/citation.cfm?doid=3362097.3342355},\nvolume = {52},\nyear = {2019},\nnote = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]}\n}\n\n","author_short":["Luckcuck, M.","Farrell, M.","Dennis, L. A.","Dixon, C.","Fisher, M."],"key":"Luckcuck2019","id":"Luckcuck2019","bibbaseid":"luckcuck-farrell-dennis-dixon-fisher-formalspecificationandverificationofautonomousroboticsystemsasurvey-2019","role":"author","urls":{"Paper":"https://arxiv.org/abs/1807.00048 http://dl.acm.org/citation.cfm?doid=3362097.3342355"},"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2019-07-05T16:28:37.544Z","downloads":4,"keywords":[],"search_terms":["formal","specification","verification","autonomous","robotic","systems","survey","luckcuck","farrell","dennis","dixon","fisher"],"title":"Formal Specification and Verification of Autonomous Robotic Systems: A Survey","year":2019,"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend","YCBcQPneB9oxahSnp"]}