{"_id":"QyjkjxxG6D56vKbE5","bibbaseid":"fernandes-custodio-alves-fisher-arationalagentcontrollinganautonomousvehicleimplementationandformalverification-2017","downloads":4,"creationDate":"2018-09-03T10:39:11.692Z","title":"A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification","author_short":["Fernandes, L. E. R.","Custodio, V.","Alves, G. V.","Fisher, M."],"year":2017,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lucas","E.","R."],"propositions":[],"lastnames":["Fernandes"],"suffixes":[]},{"firstnames":["Vinicius"],"propositions":[],"lastnames":["Custodio"],"suffixes":[]},{"firstnames":["Gleifer","V."],"propositions":[],"lastnames":["Alves"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification","booktitle":"Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.","pages":"35–42","year":"2017","url":"https://doi.org/10.4204/EPTCS.257.5","doi":"10.4204/EPTCS.257.5","timestamp":"Fri, 02 Nov 2018 09:30:18 +0100","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1709-02557","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-1709-02557,\n author = {Lucas E. R. Fernandes and\n Vinicius Custodio and\n Gleifer V. Alves and\n Michael Fisher},\n title = {A Rational Agent Controlling an Autonomous Vehicle: Implementation\n and Formal Verification},\n booktitle = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,\n FVAV@iFM 2017, Turin, Italy, 19th September 2017.},\n pages = {35--42},\n year = {2017},\n url = {https://doi.org/10.4204/EPTCS.257.5},\n doi = {10.4204/EPTCS.257.5},\n timestamp = {Fri, 02 Nov 2018 09:30:18 +0100},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1709-02557},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fernandes, L. E. R.","Custodio, V.","Alves, G. V.","Fisher, M."],"key":"DBLP:journals/corr/abs-1709-02557","id":"DBLP:journals/corr/abs-1709-02557","bibbaseid":"fernandes-custodio-alves-fisher-arationalagentcontrollinganautonomousvehicleimplementationandformalverification-2017","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.257.5"},"metadata":{"authorlinks":{"alves, g":"https://849759256-atari-embeds.googleusercontent.com/embeds/16cb204cf3a9d4d223a0a3fd8b0eec5d/inner-frame-minified.html"}},"downloads":4},"search_terms":["rational","agent","controlling","autonomous","vehicle","implementation","formal","verification","fernandes","custodio","alves","fisher"],"keywords":[],"authorIDs":["4PdeBitv3b5ccwSNM"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","o8So9xjdoX7Po3tE2","iqRbmbCgpDeaBjend"]}