Verifiable autonomy: From theory to applications

Louise A. Dennis, Clare Dixon, Michael Fisher 0001. Verifiable autonomy: From theory to applications. AI Commun., 35(4):421-431, 2022. [doi]

Abstract

Abstract is missing.