{"_id":"ajNjM6LCwAqRxb3FB","bibbaseid":"fan-qi-mitra-roadtosafeautonomywithdataandformalreasoning-2017","downloads":0,"creationDate":"2019-02-23T06:37:55.909Z","title":"Road to safe autonomy with data and formal reasoning","author_short":["Fan, C.","Qi, B.","Mitra, S."],"year":2017,"bibtype":"article","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Chuchu"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Bolun"],"propositions":[],"lastnames":["Qi"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"title":"Road to safe autonomy with data and formal reasoning","journal":"CoRR","volume":"abs/1704.06406","year":"2017","url":"http://arxiv.org/abs/1704.06406","archiveprefix":"arXiv","eprint":"1704.06406","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/FanQM17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/FanQM17,\n author = {Chuchu Fan and\n Bolun Qi and\n Sayan Mitra},\n title = {Road to safe autonomy with data and formal reasoning},\n journal = {CoRR},\n volume = {abs/1704.06406},\n year = {2017},\n url = {http://arxiv.org/abs/1704.06406},\n archivePrefix = {arXiv},\n eprint = {1704.06406},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/FanQM17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fan, C.","Qi, B.","Mitra, S."],"key":"DBLP:journals/corr/FanQM17","id":"DBLP:journals/corr/FanQM17","bibbaseid":"fan-qi-mitra-roadtosafeautonomywithdataandformalreasoning-2017","role":"author","urls":{"Paper":"http://arxiv.org/abs/1704.06406"},"downloads":0},"search_terms":["road","safe","autonomy","data","formal","reasoning","fan","qi","mitra"],"keywords":["dblp"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}