As a member of SoDA, Ben worked on techniques for testing the system-level behavior of autonomous vehicle systems.