Verifying how autonomous vehicles behave *during* accidents | Dark Hacker News