Verifying how autonomous vehicles behave *during* accidents · HackerTrans