Steven Beland, Isaac Chang, Alexander Chen, Matthew Moser, James Paunicka, Douglas Stuart, John Vian, Christina Westover, Huafeng Yu. Towards Assurance Evaluation of Autonomous Systems. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020. pages 1-6, IEEE, 2020. [doi]
Abstract is missing.