Matthew Richards

According to our database, Matthew Richards authored at least 2 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

SVF-SVC: Software Verification Using SVF (Competition Contribution).

Cameron McGowan, Matthew Richards, Yulei Sui

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2010

A code of ethics for robotics engineers.

Brandon Ingram, Daniel Jones, Andrew Lewis, Matthew Richards, Charles Rich, Lance Schachterle

Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, 2010