@inproceedings{huang-erdogan-zhang-moore-luo-sundaresan-rosu-2014-rvtool, author = "Huang, Jeff and Erdogan, Cansu and Zhang, Yi and Moore, Brandon and Luo, Qingzhou and Sundaresan, Aravind and Rosu, Grigore", publisher = "Springer International Publishing", doi = "http://dx.doi.org/10.1007/978-3-319-11164-3_20", title = "ROSRV: Runtime Verification for Robots", series = "LNCS", booktitle = "Proceedings of the 14th International Conference on Runtime Verification", month = "September", volume = "8734", year = "2014", pages = "247-254" }