Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier. Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. In Nathalie Bertrand 0001, Nils Jansen 0001, editors, Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Volume 12288 of Lecture Notes in Computer Science, pages 196-214, Springer, 2020. [doi]
Abstract is missing.