928B1105-7CA9-4E32-89B8-9B7A2B0BEF02Automated Verification For Neural NetworksStudentship1894767798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL01E46307A-3386-4650-96D4-50E999EB2035Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving ControlarXiv e-printsa296614b98b51e3f01a87895aea34c1eMichelmore Rhiannon2019-01-01http://dx.doi.org/10.48550/arxiv.1909.09884https://arxiv.org/abs/1909.09884Journal Article/Review5e68b5b423a183.11425515