Embedding online runtime verification for fault disambiguation on Robonaut2

DOI10.1007/978-3-030-57628-8_12OpenAlexW3045529937MaRDI QIDQ1996030

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

Publication date: 2 March 2021

Full work available at URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1062&context=aere_conf

zbMATH Keywords

temporal logic specificationMLTLonline runtime verificationR2U2steam-based runtime verification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Real-time logics: Complexity and expressiveness
• Satisfiability checking for mission-time LTL

This page was built for publication: Embedding online runtime verification for fault disambiguation on Robonaut2