Verifying how autonomous vehicles behave *during* accidents
blog.foretellix.com