@inproceedings{KZJZR20,
    author = {Brian Kempa and Pei Zhang and Phillip H.~Jones and Joseph Zambreno and Kristin Yvonne Rozier},
    title = {{Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2}},
    booktitle = {{Proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)}},
    publisher = {Springer},
    volume = {12288},
    series = {{Lecture Notes in Computer Science (LNCS)}},
    address = {Vienna, Austria},
    editors = {Nathalie Bertrand and Nils Jansen},
    doi = {10.1007/978-3-030-57628-8_12},
    url = {http://research.temporallogic.org/papers/KZJZR20.pdf},
    month = {September},
    year = {2020},
    pages = {196-214},
    doi = {10.1007/978-3-030-57628-8_12},
}