Some papers about AV verification
Summary: Here is a list of papers I read lately about verifying Autonomous Vehicles. For each, I say why I think it is interesting. These papers all start with something like “AVs are upon us, so they’d better be safe and well-verified”, and then go on to explain their (very diverse) ideas about how to … More Some papers about AV verification