Towards Assurance Evaluation of Autonomous Systems. - Steven Beland; Isaac Chang; Alexander Chen; Matthew Moser; James L. Paunicka; Douglas Stuart; John Vian; Christina Westover; Huafeng Yu (ICCAD, 2020)