Collaborations between Sasha Rajamani and Ben Powell