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