Moving from autonomous vehicles verification to regulation · HackerTrans