How robots could help verify compliance with nuclear arms ag