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.