Abstract: This article describes the impact that autonomous vehicle operation will have on a range of domains and how formal methods can guarantee the safe operation of those vehicles. The ...