A code of ethics for robotics engineers. - Brandon Ingram; Daniel Jones; Andrew Lewis; Matthew Richards; Charles Rich; Lance Schachterle (HRI, 2010)

SVF-SVC: Software Verification Using SVF (Competition Contribution). - Cameron McGowan; Matthew Richards; Yulei Sui (TACAS (3), 2025)