@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"
}