{"_id":"dxMSkxSrfYomGd4zA","bibbaseid":"luckcuck-farrell-dennis-dixon-fisher-formalspecificationandverificationofroboticsystemsasurvey","downloads":0,"creationDate":"2018-06-30T10:23:08.132Z","title":"Formal Specification and Verification of Robotic Systems: A Survey","author_short":["Luckcuck, M.","Farrell, M.","Dennis, L.","Dixon, C.","Fisher, M."],"year":null,"bibtype":"article","biburl":null,"bibdata":{"title":"Formal Specification and Verification of Robotic Systems: A Survey","type":"article","id":"950fe9af-a6ba-339f-b9c6-d0e29cc3de59","created":"2018-04-11T15:07:49.918Z","file_attached":false,"profile_id":"184d7076-d431-3c63-8270-c609802786ab","last_modified":"2018-05-27T17:53:16.559Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"RobotSpecSurvery","folder_uuids":"f8083d97-e306-448f-bb81-d1714a835314","private_publication":false,"bibtype":"article","author":"Luckcuck, Matt and Farrell, Marie and Dennis, Louise and Dixon, Clare and Fisher, Michael","bibtex":"@article{\n title = {Formal Specification and Verification of Robotic Systems: A Survey},\n type = {article},\n id = {950fe9af-a6ba-339f-b9c6-d0e29cc3de59},\n created = {2018-04-11T15:07:49.918Z},\n file_attached = {false},\n profile_id = {184d7076-d431-3c63-8270-c609802786ab},\n last_modified = {2018-05-27T17:53:16.559Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {RobotSpecSurvery},\n folder_uuids = {f8083d97-e306-448f-bb81-d1714a835314},\n private_publication = {false},\n bibtype = {article},\n author = {Luckcuck, Matt and Farrell, Marie and Dennis, Louise and Dixon, Clare and Fisher, Michael}\n}","author_short":["Luckcuck, M.","Farrell, M.","Dennis, L.","Dixon, C.","Fisher, M."],"bibbaseid":"luckcuck-farrell-dennis-dixon-fisher-formalspecificationandverificationofroboticsystemsasurvey","role":"author","urls":{},"downloads":0},"search_terms":["formal","specification","verification","robotic","systems","survey","luckcuck","farrell","dennis","dixon","fisher"],"keywords":[],"authorIDs":["5b375a0c7d54f21000000100"]}