See also [2] for a description of the verification challenges of a fictitious (but informative) Amazon last-mile autonomous delivery vehicle.<p>[2] <a href="https:&#x2F;&#x2F;www.cs.york.ac.uk&#x2F;ftpdir&#x2F;reports&#x2F;2015&#x2F;YCS&#x2F;496&#x2F;YCS-2015-496.pdf" rel="nofollow">https:&#x2F;&#x2F;www.cs.york.ac.uk&#x2F;ftpdir&#x2F;reports&#x2F;2015&#x2F;YCS&#x2F;496&#x2F;YCS-20...</a>