Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier

This webpage contains supplementary specifications for "Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2" by B. Kempa, P. Zhang, P. H. Jones, J. Zambreno, and K. Y. Rozier


Contact

For further information, please contact Brian Kempa.