What's new in autonomous vehicle verification – part two | Dark Hacker News