{"_id":"wxSCaeZp79r6J4nop","bibbaseid":"chan-mitra-codevautomatedmodelpredictivecontroldesignandformalverificationtoolpaper-2018","downloads":0,"creationDate":"2019-02-23T06:37:55.915Z","title":"CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper)","author_short":["Chan, N.","Mitra, S."],"year":2018,"bibtype":"article","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nicole"],"propositions":[],"lastnames":["Chan"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"title":"CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper)","journal":"CoRR","volume":"abs/1804.02568","year":"2018","url":"http://arxiv.org/abs/1804.02568","archiveprefix":"arXiv","eprint":"1804.02568","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1804-02568.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1804-02568,\n author = {Nicole Chan and\n Sayan Mitra},\n title = {{CODEV:} Automated Model Predictive Control Design and Formal Verification\n (Tool Paper)},\n journal = {CoRR},\n volume = {abs/1804.02568},\n year = {2018},\n url = {http://arxiv.org/abs/1804.02568},\n archivePrefix = {arXiv},\n eprint = {1804.02568},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1804-02568.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Chan, N.","Mitra, S."],"key":"DBLP:journals/corr/abs-1804-02568","id":"DBLP:journals/corr/abs-1804-02568","bibbaseid":"chan-mitra-codevautomatedmodelpredictivecontroldesignandformalverificationtoolpaper-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1804.02568"},"downloads":0},"search_terms":["codev","automated","model","predictive","control","design","formal","verification","tool","paper","chan","mitra"],"keywords":["dblp"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}